Model Checking Safety Critical Systems Specified as X-Machines.

G.Eleftherakis, and P. Kefalas

Abstract: contact authors

Appeared in: Annales Univerisitate Bucurest Matematica. Informatica; 49(1): 59-70, 2001

Available: Hardcopy on request from the authors.

Back to Dept. of Computer Science, CITY Liberal Studies

Back to Petros Kefalas home page