APA (7th ed.) Citation

FORMATS Québec & Fränzle, M. (2016). Formal modeling and analysis of timed systems: 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings. Springer.

Chicago Style (17th ed.) Citation

FORMATS Québec and Martin Fränzle. Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : Proceedings. [Cham]: Springer, 2016.

MLA (9th ed.) Citation

FORMATS Québec and Martin Fränzle. Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : Proceedings. Springer, 2016.

Warning: These citations may not always be 100% accurate.