Search results for: Graham Birtwistle
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 40-66
Lecture Notes in Computer Science
Simulation Practice and Theory > 2001 > 8 > 6-7 > 377-393
Simulation Practice and Theory > 1997 > 5 > 1 > 1-33