Record Beta
FORTE 2008
https://id.confref.org/data/confident/8685
This record is part of the confref event 28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems.
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.