ARTS'99 (Conference) (1999 Bamberg, Germany)

Identifiers

Open LibraryOL6488407A

Top Subjects

Software engineering -- Congresses (1)
Abstract data types (Computer science) -- Congresses (1)

Books by ARTS'99 (Conference) (1999 Bamberg, Germany)

Total count: 1

Formal methods for real-time and probabilistic systems5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings

Springer1999-01-01