Fingerprint
Dive into the research topics of 'Analysing AWN-Specifications Using mCRL2 (Extended Abstract)'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Analysing AWN-Specifications Using mCRL2 (Extended Abstract)
Rob van Glabbeek, Peter Höfner, Djurre van der Wal
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution