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