Search results
Bulletin of Mathematical Biology > 2017 > 79 > 1 > 21-35
Distributed Computing > 2016 > 29 > 5 > 395-407
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 5 > 549-563
Electronic Notes in Theoretical Computer Science > 2006 > 162 > Complete > 183-190