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 
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
Last update Tue May 21 16:15:01 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
