Inproceedings,
Safety verification for linear systems.
P. Duggirala, and A. Tiwari.EMSOFT, page 7:1-7:10. IEEE, (2013)
Meta data
- BibTeX key
- conf/emsoft/DuggiralaT13
- entry type
- inproceedings
- booktitle
- EMSOFT
- year
- 2013
- pages
- 7:1-7:10
- publisher
- IEEE
- crossref
- conf/emsoft/2013
- ee
- http://dl.acm.org/citation.cfm?id=2555761
- isbn
- 978-1-4799-1443-2
- url
- http://dblp.uni-trier.de/db/conf/emsoft/emsoft2013.html#DuggiralaT13
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/emsoft/DuggiralaT13
%A Duggirala, Parasara Sridhar
%A Tiwari, Ashish
%B EMSOFT
%D 2013
%E Ernst, Rolf
%E Sokolsky, Oleg
%I IEEE
%K dblp
%P 7:1-7:10
%T Safety verification for linear systems.
%U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2013.html#DuggiralaT13
%@ 978-1-4799-1443-2
@inproceedings{conf/emsoft/DuggiralaT13,
added-at = {2019-11-06T00:00:00.000+0100},
author = {Duggirala, Parasara Sridhar and Tiwari, Ashish},
biburl = {https://www.bibsonomy.org/bibtex/28350d67a826fa74d2bb2bf5f9cd9bd27/dblp},
booktitle = {EMSOFT},
crossref = {conf/emsoft/2013},
editor = {Ernst, Rolf and Sokolsky, Oleg},
ee = {http://dl.acm.org/citation.cfm?id=2555761},
interhash = {19f23c73b1796e26bc2588f6501fbff3},
intrahash = {8350d67a826fa74d2bb2bf5f9cd9bd27},
isbn = {978-1-4799-1443-2},
keywords = {dblp},
pages = {7:1-7:10},
publisher = {IEEE},
timestamp = {2019-11-07T11:44:22.000+0100},
title = {Safety verification for linear systems.},
url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2013.html#DuggiralaT13},
year = 2013
}