Skip to Main Content
Log In or Out
Skip to Search

springer.com springerprotocols.com Choose preferred language

SpringerLink

You have Guest access.

What can I do as a guest?

Search

Basic Search Search For All Content

Author or Editor Publication Volume Issue Page

Advanced Search

Content

Search For

Full Text Title & Abstract Title Only

DOI

Author

Editor

Citation

Publication (Title, DOI, ISSN, ISBN)

Volume

Issue

Page

Category and Date Limiters

Content Category

Entire Range of Publication Dates

Select date range Publication Dates Between Start DateANDEnd Date

Order of Results Most Relevant First Most Recently Published First Alphabetical

Share this item
- email
- citeulike
- Connotea
- Delicious
citeulike

Computer Science

Distributed Algorithms

Lecture Notes in Computer Science, 1997, Volume 1320/1997, 20-21, DOI: 10.1007/BFb0030672

In memory of Anya Pogosyants

View Related Documents

Book Chapter
Modular verification of SRT division
H. Rueß, N. Shankar and M. K. Srivas
Lecture Notes in Computer Science, 1996, Volume 1102, Computer Aided Verification, Pages 123-134
- Download PDF (858.0 KB)
Book Chapter
Integrating Automated and Interactive Protocol Verification
Achim D. Brucker and Sebastian A. Mödersheim
Lecture Notes in Computer Science, 2010, Volume 5983, Formal Aspects in Security and Trust, Pages 248-262
- Download PDF (272.7 KB)
Journal Article
Building a push-button RESOLVE verifier: Progress and challenges
Murali Sitaraman, Bruce Adcock, Jeremy Avigad, Derek Bronish and Paolo Bucci, et al.
Formal Aspects of Computing, 2011, Volume 23, Number 5, Pages 607-626
- Download PDF (1.0 MB)
Journal Article
Automated verification of refinement laws
Peter Höfner, Georg Struth and Geoff Sutcliffe
Annals of Mathematics and Artificial Intelligence, 2009, Volume 55, Numbers 1-2, Pages 35-62
- Download PDF (411.4 KB)
Book Chapter
Hierarchical verification of two-dimensional high-speed multiplication in PVS: A case study
Harald Rueß
Lecture Notes in Computer Science, 1996, Volume 1166, Formal Methods in Computer-Aided Design, Pages 79-93
- Download PDF (984.5 KB)
Book Chapter
Little Engines of Proof
Natarajan Shankar
Lecture Notes in Computer Science, 2002, Volume 2391, FME 2002:Formal Methods—Getting IT Right, Pages 27-50
- Download PDF (254.6 KB)
Book Chapter
Checking verifications of protocols and distributed systems by computer
Jan Friso Groote, FranÇois Monin and Jaco van de Pol
Lecture Notes in Computer Science, 1998, Volume 1466, CONCUR'98 Concurrency Theory, Pages 629-655
- Download PDF (1.5 MB)
Journal Article
Normal and Generalized Bose Condensation in Traps: One Dimensional Examples
András Sütő
Journal of Statistical Physics, 2004, Volume 117, Numbers 1-2, Pages 301-341
- Download PDF (254.9 KB)
Book Chapter
Verifying safety properties of a class of infinite-state distributed algorithms
Bengt Jonsson and Lars Kempe
Lecture Notes in Computer Science, 1995, Volume 939, Computer Aided Verification, Pages 42-53
- Download PDF (692.3 KB)
Book Chapter
Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm
Alexey Loginov, Thomas Reps and Mooly Sagiv
Lecture Notes in Computer Science, 2006, Volume 4134, Static Analysis, Pages 261-279
- Download PDF (681.2 KB)

Advertisment

Abstract

Invited Papers In Memory of Anya Pogosyants

In memory of Anya Pogosyants

Fulltext Preview

Image of the first page of the fulltext document

Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us

© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info