%0 Conference Paper %1 conf/memocode/LeonardAHJ12 %A Leonard, Elizabeth I. %A Archer, Myla %A Heitmeyer, Constance L. %A Jeffords, Ralph D. %B MEMOCODE %D 2012 %I IEEE %K dblp %P 119-130 %T Direct generation of invariants for reactive models. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2012.html#LeonardAHJ12 %@ 978-1-4673-1314-8

@inproceedings{conf/memocode/LeonardAHJ12, added-at = {2017-06-04T00:00:00.000+0200}, author = {Leonard, Elizabeth I. and Archer, Myla and Heitmeyer, Constance L. and Jeffords, Ralph D.}, biburl = {https://www.bibsonomy.org/bibtex/2bb9d9964116db52c492f3e131cbc604d/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2012}, ee = {https://doi.org/10.1109/MEMCOD.2012.6292308}, interhash = {28c809c0437b9b2c03a6dfbfccb14ad4}, intrahash = {bb9d9964116db52c492f3e131cbc604d}, isbn = {978-1-4673-1314-8}, keywords = {dblp}, pages = {119-130}, publisher = {IEEE}, timestamp = {2019-10-17T12:53:45.000+0200}, title = {Direct generation of invariants for reactive models.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2012.html#LeonardAHJ12}, year = 2012 }