Inproceedings,
Discrete Abstraction of Multiaffine Systems.
H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T. Henzinger, Y. Jiang, and C. Schilling.HSB, volume 9957 of Lecture Notes in Computer Science, page 128-144. (2016)
Meta data
- BibTeX key
- conf/hsb/KongBBGHJS16
- entry type
- inproceedings
- booktitle
- HSB
- year
- 2016
- pages
- 128-144
- series
- Lecture Notes in Computer Science
- volume
- 9957
- crossref
- conf/hsb/2016
- ee
- https://www.wikidata.org/entity/Q62037207
- isbn
- 978-3-319-47150-1
- url
- http://dblp.uni-trier.de/db/conf/hsb/hsb2016.html#KongBBGHJS16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/hsb/KongBBGHJS16
%A Kong, Hui
%A Bartocci, Ezio
%A Bogomolov, Sergiy
%A Grosu, Radu
%A Henzinger, Thomas A.
%A Jiang, Yu
%A Schilling, Christian
%B HSB
%D 2016
%E Cinquemani, Eugenio
%E Donzé, Alexandre
%K
%P 128-144
%T Discrete Abstraction of Multiaffine Systems.
%U http://dblp.uni-trier.de/db/conf/hsb/hsb2016.html#KongBBGHJS16
%V 9957
%@ 978-3-319-47150-1
@inproceedings{conf/hsb/KongBBGHJS16,
added-at = {2023-12-12T21:38:46.000+0100},
author = {Kong, Hui and Bartocci, Ezio and Bogomolov, Sergiy and Grosu, Radu and Henzinger, Thomas A. and Jiang, Yu and Schilling, Christian},
biburl = {https://www.bibsonomy.org/bibtex/2f6de026bcddd2b0fcda5cdf728b07fd8/admin},
booktitle = {HSB},
crossref = {conf/hsb/2016},
editor = {Cinquemani, Eugenio and Donzé, Alexandre},
ee = {https://www.wikidata.org/entity/Q62037207},
interhash = {414d3e062583dd63fbef41caaa994a65},
intrahash = {f6de026bcddd2b0fcda5cdf728b07fd8},
isbn = {978-3-319-47150-1},
keywords = {},
pages = {128-144},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-12T21:38:46.000+0100},
title = {Discrete Abstraction of Multiaffine Systems.},
url = {http://dblp.uni-trier.de/db/conf/hsb/hsb2016.html#KongBBGHJS16},
volume = 9957,
year = 2016
}