%0 Thesis %1 Hagen08 %A Hagen, George %D 2008 %K smt %T Verifying safety properties of Lustre programs: an SMT-based approach %U http://clc.cs.uiowa.edu/Kind/index.php?page=papers

@phdthesis{Hagen08, added-at = {2012-02-09T11:53:09.000+0100}, author = {Hagen, George}, biburl = {https://www.bibsonomy.org/bibtex/201ea3b6265986a5fcf67969c12d8ed07/henningb}, file = {:smt/Hag-PHD-08.pdf:PDF}, groups = {public}, interhash = {d3a038eb90af8890cb5d1ecaac9e1101}, intrahash = {01ea3b6265986a5fcf67969c12d8ed07}, keywords = {smt}, school = {Department of Computer Science. The University of Iowa}, timestamp = {2012-02-24T16:46:41.000+0100}, title = {Verifying safety properties of Lustre programs: an SMT-based approach}, url = {http://clc.cs.uiowa.edu/Kind/index.php?page=papers}, username = {henningb}, year = 2008 }