MPG.eBooks - Search Results - "bell lab"

Search alternatives:
"bell lab" » "bell labs", "bell law", "bill lab"

Cover Image

1

SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

“... and distributed systems. The SPIN - del checker (http://netlib.bell-labs.com/netlib/spin/whatispin.html...”