Original language | English |
---|---|
Title of host publication | The 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 status | Published - 2003 |
Graphical Modelling of Process Algebras with DrawNET
Stephen Gilmore, Marco Gribaudo
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution