Citazione Stile APA (7a Edizione)
Joost-Pieter Katoen. Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings. Springer.
Citazione stile Chigago Style (17a edizione)
Joost-Pieter Katoen. Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings. Berlín, Alemania: Springer.
Citatione MLA (9a ed.)
Joost-Pieter Katoen. Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings. Springer.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.