International SPIN Workshop :Barcelone, Espagne, Graf, S., & Mounier, L. Model checking software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings. Springer.
Style de citation Chicago (17e éd.)International SPIN Workshop :Barcelone, Espagne, Susanne Graf, et Laurent Mounier. Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : Proceedings. Berlin [etc.]: Springer.
Style de citation MLA (8e éd.)International SPIN Workshop :Barcelone, Espagne, et al. Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : Proceedings. Springer.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.