Home News About Us Contact Contributors Disclaimer Privacy Policy 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: Display records with Fulltext only
Entries: 1-2  
 Basket 
Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete
Editors: Gordon, Andrew D.
Authors: Maier, Patrick
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 2003
Title of Proceedings: Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003
Start Page: 343
End Page: 357
Title of Series: Lecture Notes in Computer Science
Document Type: Conference-Paper
ID: 202048.0
Verification of Cryptographic Protocols: Tagging Enforces Termination
Editors: Gordon, Andrew D.
Authors: Blanchet, Bruno; Podelski, Andreas
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 2003
Title of Proceedings: Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003
Start Page: 136
End Page: 152
Title of Series: Lecture Notes in Computer Science
Document Type: Conference-Paper
ID: 201983.0
Entries: 1-2  
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.