(1999). Theoretical and practical aspects of SPIN model checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams [and others] (eds.).
Cytowanie według stylu Chicago (wyd. 17)Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : Proceedings / Dennis Dams [and Others] (eds.). 1999.
Cytowanie według stylu MLA (wyd. 9)Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : Proceedings / Dennis Dams [and Others] (eds.). 1999.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..