Search results for: J. Sawada
Medical Mycology Case Reports > 2018 > 21 > C > 37-40
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 29-40
Theoretical Computer Science > 2016 > 609 > P1 > 60-75
Theoretical Computer Science > 2013 > 502 > Complete > 46-54
Theoretical Computer Science > 2013 > 475 > Complete > 103-112
Formal Methods in Computer Aided Design > 151 - 158
2009 Formal Methods in Computer-Aided Design > 120 - 127
Theoretical Computer Science > 2005 > 341 > 1-3 > 73-90
Theoretical Computer Science > 2003 > 307 > 2 > 303-317
Information Processing Letters > 2003 > 86 > 6 > 299-302
SICE 2003 Annual Conference (IEEE Cat. No.3TH8734) > 1 > 545 - 550 Vol.1
Journal of Algorithms > 2003 > 46 > 1 > 21-26
Neuroscience > 2002 > 111 > 1 > 35-45