Formal Methods for Real-Time and Probabilistic Systems
Subtitle: 5th International AMAST Workshop, ARTS99 Bamberg, Germany, May 2628, 1999 Proceedings
By: edited by Joost-Pieter Katoen
Series: Lecture Notes in Computer Science -- 1601,; Lecture notes in computer science -- 1601,
Publisher: Springer-Verlag Berlin Heidelberg
Published: 1999
Place of publication: Berlin; Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783540487784
Subjects: Logic design; Logics and Meanings of Programs; Computer science; Software engineering; Programming Languages, Compilers, Interpreters; Computer Communication Networks; Special Purpose and Application-Based Systems