Inproceedings,
Statistical verification of dynamical systems using set oriented methods.
Y. Wang, N. Roohi, M. West, M. Viswanathan, and G. Dullerud.HSCC, page 169-178. ACM, (2015)
Meta data
- BibTeX key
- conf/hybrid/WangRW0D15
- entry type
- inproceedings
- booktitle
- HSCC
- year
- 2015
- pages
- 169-178
- publisher
- ACM
- crossref
- conf/hybrid/2015
- ee
- https://www.wikidata.org/entity/Q62702171
- isbn
- 978-1-4503-3433-4
- url
- http://dblp.uni-trier.de/db/conf/hybrid/hscc2015.html#WangRW0D15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/hybrid/WangRW0D15
%A Wang, Yu
%A Roohi, Nima
%A West, Matthew
%A Viswanathan, Mahesh
%A Dullerud, Geir E.
%B HSCC
%D 2015
%E Girard, Antoine
%E Sankaranarayanan, Sriram
%I ACM
%K dblp
%P 169-178
%T Statistical verification of dynamical systems using set oriented methods.
%U http://dblp.uni-trier.de/db/conf/hybrid/hscc2015.html#WangRW0D15
%@ 978-1-4503-3433-4
@inproceedings{conf/hybrid/WangRW0D15,
added-at = {2024-05-07T00:00:00.000+0200},
author = {Wang, Yu and Roohi, Nima and West, Matthew and Viswanathan, Mahesh and Dullerud, Geir E.},
biburl = {https://www.bibsonomy.org/bibtex/2963d2ff002c3d4934fdb7ab63072ebc6/dblp},
booktitle = {HSCC},
crossref = {conf/hybrid/2015},
editor = {Girard, Antoine and Sankaranarayanan, Sriram},
ee = {https://www.wikidata.org/entity/Q62702171},
interhash = {89886e13a7ba2832580c22dff1a67371},
intrahash = {963d2ff002c3d4934fdb7ab63072ebc6},
isbn = {978-1-4503-3433-4},
keywords = {dblp},
pages = {169-178},
publisher = {ACM},
timestamp = {2024-05-13T08:57:30.000+0200},
title = {Statistical verification of dynamical systems using set oriented methods.},
url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2015.html#WangRW0D15},
year = 2015
}