Efficient model checking for timing diagrams

Emerson, E. Allen615249072008-08-282017-05-112008-08-282017-05-112001http://hdl.handle.net/2152/1681textelectronicengCopyright is held by the author. Presentation of this material on the Libraries' web site by University Libraries, The University of Texas at Austin was made possible under a limited license grant from the author who has retained all copyrights in the works.Computer systemsComputer softwareEfficient model checking for timing diagramsThesis3008266