Inproceedings,
Direct generation of invariants for reactive models.
E. Leonard, M. Archer, C. Heitmeyer, and R. Jeffords.MEMOCODE, page 119-130. IEEE, (2012)
Meta data
- BibTeX key
- conf/memocode/LeonardAHJ12
- entry type
- inproceedings
- booktitle
- MEMOCODE
- year
- 2012
- pages
- 119-130
- publisher
- IEEE
- crossref
- conf/memocode/2012
- ee
- https://doi.org/10.1109/MEMCOD.2012.6292308
- isbn
- 978-1-4673-1314-8
- url
- http://dblp.uni-trier.de/db/conf/memocode/memocode2012.html#LeonardAHJ12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}