7. AMAST 1998: Amazonia, Brasil
Armando Martin Haeberer (Ed.):
Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings.
Lecture Notes in Computer Science 1548 Springer 1999, ISBN 3-540-65462-3 BibTeX
@proceedings{DBLP:conf/amast/1998,
editor = {Armando Martin Haeberer},
title = {Algebraic Methodology and Software Technology, 7th International
Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
booktitle = {AMAST},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1548},
year = {1999},
isbn = {3-540-65462-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talks (Extended Abstracts)
Session 1
- Tomohiro Yoneda, Bin Zhou, Bernd-Holger Schlingloff:
Verification of Bounded Delay Asynchronous Circuits with Timed Traces.
59-73
Electronic Edition (Springer LINK) BibTeX
- Jan Friso Groote, Radu Mateescu:
Verification of Temporal Properties of Processes in a Setting with Data.
74-90
Electronic Edition (Springer LINK) BibTeX
- Gabriel Baum, Marcelo F. Frias, T. S. E. Maibaum:
A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus.
91-105
Electronic Edition (Springer LINK) BibTeX
- Grégoire Sutre, Alain Finkel, Olivier Roux, Franck Cassez:
Effective Recognizability and Model Checking of Reactive Fiffo Automata.
106-123
Electronic Edition (Springer LINK) BibTeX
- Bettina Buth, Jan Peleska, Hui Shi:
Combining Methods for the Livelock Analysis of a Fault-Tolerant System.
124-139
Electronic Edition (Springer LINK) BibTeX
Session 2
Session 3
Session 4
Session 5
Session 6
Systems and Tool Demonstrations
Copyright © Sat May 16 22:57:39 2009
by Michael Ley (ley@uni-trier.de)