Algebraic Methodology and Software Technology (AMAST)

5. ARTS 1999: Bamberg, Germany

Joost-Pieter Katoen (Ed.): Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings. Lecture Notes in Computer Science 1601 Springer 1999, ISBN 3-540-66010-0
Contents BibTeX

4. ARTS 1997: Palma, Mallorca, Spain

Miquel Bertran, Teodor Rus (Eds.): Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings. Lecture Notes in Computer Science 1231 Springer 1997, ISBN 3-540-63010-4
Contents BibTeX