5. TACAS 1999:
Amsterdam,
The Netherlands (Part of ETAPS 1999)
Rance Cleaveland (Ed.):
Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings.
Lecture Notes in Computer Science 1579 Springer 1999, ISBN 3-540-65703-7 BibTeX
@proceedings{DBLP:conf/tacas/1999,
editor = {Rance Cleaveland},
title = {Tools and Algorithms for Construction and Analysis of Systems,
5th International Conference, TACAS '99, Held as Part of the
European Joint Conferences on the Theory and Practice of Software,
ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
booktitle = {TACAS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1579},
year = {1999},
isbn = {3-540-65703-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Contribution
Real-Time
Case Studies
- Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren:
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools.
74-88
Electronic Edition (Springer LINK) BibTeX
- Cornelia Pusch:
Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL.
89-103
Electronic Edition (Springer LINK) BibTeX
- Christoph Kreitz:
Automated Fast-Track Reconfiguration of Group Communication Systems.
104-118
Electronic Edition (Springer LINK) BibTeX
- Jason Hickey, Nancy A. Lynch, Robbert van Renesse:
Specifications and Proofs for Ensemble Layers.
119-133
Electronic Edition (Springer LINK) BibTeX
Compositionality and Abstraction
Symbolic Analysis
Process Algebra
Frameworks for System Construction and Analysis
Tool Descriptions
Copyright © Sat May 16 23:43:26 2009
by Michael Ley (ley@uni-trier.de)
