APA (7th ed.) Citation

International AMAST Workshop, ARTS'99 Städtliche Volkshochschule in Bamberg, SpringerLink (Online service), & Katoen, 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, ARTS'99 Städtliche Volkshochschule in Bamberg, SpringerLink (Online service), and Joost-Pieter Katoen. Formal Methods for Real-time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : Proceedings. New York: Springer, 1999.

MLA (9th ed.) Citation

International AMAST Workshop, ARTS'99 Städtliche Volkshochschule in Bamberg, et al. Formal Methods for Real-time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : Proceedings. Springer, 1999.