SMUML/proco version 2.00 - a translator from UML models to Promela

Tommi Junttila

    Research output: Artistic and non-textual form › Software › Scientific

    Original languageEnglish
    Publication statusPublished - 2007
    MoE publication typeI2 ICT applications

    Cite this