Search results for: M. Holcombe
Lecture Notes in Computer Science > Applied Formal Methods — FM-Trends 98 > Regular Papers > 107-121
IFMBE Proceedings > 13th International Conference on Biomedical Engineering > Bioinformatics; Biomedical Imaging; Biomedical instrumentation; Biosignal Processing; Digital Medicine; Neural Systems Engineering > 77-80
Journal of Theoretical Biology > 2008 > 255 > 2 > 250-258
Insectes Sociaux > 2008 > 55 > 3 > 246-251
Formal Aspects of Computing > 2006 > 18 > 1 > 3-30
Fundamenta Informaticae > 2005 > Vol. 64, nr 1-4 > 205-216
AJIC: American Journal of Infection Control > 2004 > 32 > 8 > 456-461
BioSystems > 2004 > 76 > 1-3 > 89-100
BioSystems > 2003 > 70 > 2 > 135-148
Fundamenta Informaticae > 2002 > Vol. 49, nr 1-3 > 17-33