Piterman. (2013). Tools and Algorithms for the Construction and Analysis of Systems (1.). Springer Berlin Heidelberg.
Chicago Style (17th ed.) CitationPiterman. Tools and Algorithms for the Construction and Analysis of Systems. 1. Springer Berlin Heidelberg, 2013.
ציטוט MLAPiterman. Tools and Algorithms for the Construction and Analysis of Systems. 1. Springer Berlin Heidelberg, 2013.
אזהרה: ציטוטים אלה לעיתים לא מדויקים ב 100%.