Home News About Us Contact Contributors Disclaimer Help FAQ

Home
Search
Quick Search
Advanced
Fulltext
Browse
Collections
Persons
My eDoc
Session History
Login
Name:
Password:
Documentation
Help
Support Wiki
Direct access to
document ID:


          Display Documents


Institute:
Collection:
Print in Citation style Print version     Display:
Sort by:
 Basket 
Model Checking for Communication Protocols
Authors: Argon, Pablo; Delzanno, Giorgio; Mukhopadhyay, Supratik; Podelski, Andreas
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 2001
Title of Proceedings: Proceedings of the 28th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM-2001)
Start Page: 160
End Page: 170
Title of Series: Lecture Notes in Computer Science
Document Type: Conference-Paper
ID: 519813.0
The scope and number of records on eDoc is subject to the collection policies defined by each institute - see "info" button in the collection browse view.