Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Accepted author manuscript, 93.8 KB, PDF document
Original language | English |
---|---|
Title of host publication | Proceedings of 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems |
Publication status | Published - Oct 2003 |
ID: 403529