Record Beta
TACAS 2008
https://id.confref.org/data/confident/21521
This record is part of the confref event International Conference on Tools and Algorithms for the Construction and Analysis of Systemss 2008.
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.