In: Sumitra Mitra Reddy (Hrsg.). Proceedings of the Fifteenth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative …
In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging at FloC2006. Federated Logic Conference (FloC), Electronic Notes in …