APA (7th ed.) Citation

International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software Bamberg, Germany, & Katoan, J. (1999). Formal methods for real-time and probabilistic systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings. Springer.

Chicago Style (17th ed.) Citation

International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software Bamberg, Germany, and Joost-Pieter Katoan. Formal Methods for Real-time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : Proceedings. Berlin ; New York: Springer, 1999.

MLA (9th ed.) Citation

International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software Bamberg, Germany, and Joost-Pieter Katoan. Formal Methods for Real-time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : Proceedings. Springer, 1999.