Books by International AMAST Workshop

Formal Methods for Real-Time and Probabilistic Systems

International AMAST Workshop, ARTS'99 (5th 1999 Städtliche Volkshochschule in Bamberg)

₹4,358