(2004). Model checking software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / Susanne Graf, Laurent Mounier, eds.
Cytowanie według stylu Chicago (wyd. 17)Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : Proceedings / Susanne Graf, Laurent Mounier, Eds. 2004.
Cytowanie według stylu MLA (wyd. 9)Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : Proceedings / Susanne Graf, Laurent Mounier, Eds. 2004.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..