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. Springer 1999 Lecture Notes in Computer Science 1601 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. Springer 1997 Lecture Notes in Computer Science 1231 ISBN 3-540-63010-4 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team