Model Checking a TTCAN Implementation.

Daniel Keating, Allan McInnes, Michael P. Hayes

Browse the full ICST paper archive.