Graphical Modelling of Process Algebras with DrawNET

Stephen Gilmore, Marco Gribaudo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationThe Tools of the 2003 Illinois Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems. Research Report 781, Universit?t Dortmund, Informatik IV. (2003) 1?4
Publication statusPublished - 2003

Cite this