Cassez, F. (2017). Formal Modeling and Analysis of Timed Systems. Springer.
Chicago Style CitationCassez, Franck. Formal Modeling and Analysis of Timed Systems. Springer, 2017.
MLA引文Cassez, Franck. Formal Modeling and Analysis of Timed Systems. Springer, 2017.
警告:這些引文格式不一定是100%准確.