Model Checking of Real Time Software.
Available from STL Prague, CZ / NTK - National Technical LibrarySIGLECZCzech Republi
09H - Computer software, programming, SOFTWARE
Publisher: Praha (Czech Republic) : Ceske vysoke uceni technicke v Praze
Sorry, we are unable to provide the full text but you may find it at the following location(s):
http://hdl.handle.net/10068/33... (external link)