Michael Yoeli has written:
'Verification of systems and circuits using LOTOS, Petri Nets, and CCS' -- subject(s): Verification, Petri nets, Computer software, LOTOS (Computer program language), Integrated circuits
Arayathinal Michael Michael has written: 'Irrigation'
Michael Buck has written: 'Michael Buck'
Michael Platt has written: 'Michael Platt'
Michael NYMAN has written: 'And do They do'
Michael Shurtleff has written: 'Audition'
Michael Degen has written: 'Blondi'
Michael Randolph has written: 'PoPsie'
Michael Lebeck has written: 'Travel'
Michael Myslobodsky has written: 'Hemisyndromes'
Michael Nathanson has written: 'Talk'
Michael Gualtieri has written: 'Maledetti ='
Michael Beesley has written: 'Stilling'