SMUML/proco version 2.00 — A Translator from UML Models to Promela

Reference:

Tommi Junttila. SMUML/proco version 2.00 — a translator from UML models to Promela, 2007. Computer program.

Suggested BibTeX entry:

@misc{SMUMLproco2,
    author = {Tommi Junttila},
    note = {Computer program},
    title = {{SMUML}/proco version 2.00 --- A Translator from {UML} Models to {Promela}},
    year = {2007},
}