Search results for: Tom Newcomb
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency – ICATPN 2007 > Full Papers > 301-320
Lecture Notes in Computer Science > Communicating Sequential Processes. The First 25 Years > Automated Development and Model Checking > 275-291
Electronic Notes in Theoretical Computer Science > 2005 > 138 > 3 > 61-86