MPG.eBooks - Search Results - "Bell Labs"

Search alternatives:
bell » well , cell , bill
labs » laws , las , 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...”