Inproceedings,
Complementing Semi-deterministic Büchi Automata.
F. Blahoudek, M. Heizmann, S. Schewe, J. Strejcek, and M. Tsai.TACAS, volume 9636 of Lecture Notes in Computer Science, page 770-787. Springer, (2016)
Meta data
- BibTeX key
- conf/tacas/BlahoudekHSST16
- entry type
- inproceedings
- booktitle
- TACAS
- year
- 2016
- pages
- 770-787
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 9636
- crossref
- conf/tacas/2016
- ee
- https://doi.org/10.1007/978-3-662-49674-9_49
- isbn
- 978-3-662-49673-2
- url
- http://dblp.uni-trier.de/db/conf/tacas/tacas2016.html#BlahoudekHSST16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/tacas/BlahoudekHSST16
%A Blahoudek, Frantisek
%A Heizmann, Matthias
%A Schewe, Sven
%A Strejcek, Jan
%A Tsai, Ming-Hsien
%B TACAS
%D 2016
%E Chechik, Marsha
%E Raskin, Jean-François
%I Springer
%K
%P 770-787
%T Complementing Semi-deterministic Büchi Automata.
%U http://dblp.uni-trier.de/db/conf/tacas/tacas2016.html#BlahoudekHSST16
%V 9636
%@ 978-3-662-49673-2
@inproceedings{conf/tacas/BlahoudekHSST16,
added-at = {2023-12-13T01:36:52.000+0100},
author = {Blahoudek, Frantisek and Heizmann, Matthias and Schewe, Sven and Strejcek, Jan and Tsai, Ming-Hsien},
biburl = {https://www.bibsonomy.org/bibtex/2c3a0dfa047250f0eaa50e6fa23abf61f/admin},
booktitle = {TACAS},
crossref = {conf/tacas/2016},
editor = {Chechik, Marsha and Raskin, Jean-François},
ee = {https://doi.org/10.1007/978-3-662-49674-9_49},
interhash = {73fe6296b5c89e20e9081247342344bc},
intrahash = {c3a0dfa047250f0eaa50e6fa23abf61f},
isbn = {978-3-662-49673-2},
keywords = {},
pages = {770-787},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T01:36:52.000+0100},
title = {Complementing Semi-deterministic Büchi Automata.},
url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2016.html#BlahoudekHSST16},
volume = 9636,
year = 2016
}