@inproceedings{8d37cc17c3e249ed963fe57b77cc47bb,
title = "Modeling and verification using XTG and PMC",
keywords = "ZX Int.klas.verslagjaar < 2002",
author = "A Burns and {Lutje Spelberg}, RF and WJ Toetenel and T Vink",
year = "1999",
language = "Undefined/Unknown",
isbn = "90-803086-4-1",
publisher = "Advanced School for Computing and Imaging",
pages = "251--258",
editor = "{M Boasson} and {JA Kaandorp} and {JFM Tonino} and {MG Vosselman}",
booktitle = "ASCI'99: proceedings",
note = "5th Annual Conference of the Advanced School for Computing and Imaging, Heijen ; Conference date: 15-06-1999 Through 17-06-1999",
}