Inproceedings,
Compositional Algorithms for Succinct Safety Games.
R. Brenguier, G. Pérez, J. Raskin, and O. Sankur.SYNT, volume 202 of EPTCS, page 98-111. (2015)
Meta data
- BibTeX key
- journals/corr/BrenguierPRS16
- entry type
- inproceedings
- booktitle
- SYNT
- year
- 2015
- pages
- 98-111
- series
- EPTCS
- volume
- 202
- crossref
- journals/corr/CernyKM16
- ee
- http://arxiv.org/abs/1602.01174
- url
- http://dblp.uni-trier.de/db/series/eptcs/eptcs202.html#BrenguierPRS16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 journals/corr/BrenguierPRS16
%A Brenguier, Romain
%A Pérez, Guillermo A.
%A Raskin, Jean-François
%A Sankur, Ocan
%B SYNT
%D 2015
%E Cerný, Pavol
%E Kuncak, Viktor
%E Madhusudan, Parthasarathy
%K
%P 98-111
%T Compositional Algorithms for Succinct Safety Games.
%U http://dblp.uni-trier.de/db/series/eptcs/eptcs202.html#BrenguierPRS16
%V 202
@inproceedings{journals/corr/BrenguierPRS16,
added-at = {2023-12-12T23:00:08.000+0100},
author = {Brenguier, Romain and Pérez, Guillermo A. and Raskin, Jean-François and Sankur, Ocan},
biburl = {https://www.bibsonomy.org/bibtex/24cb54c9093fa8fa9852a168f18b36109/admin},
booktitle = {SYNT},
crossref = {journals/corr/CernyKM16},
editor = {Cerný, Pavol and Kuncak, Viktor and Madhusudan, Parthasarathy},
ee = {http://arxiv.org/abs/1602.01174},
interhash = {50faac730244f5984d7b9712fe418235},
intrahash = {4cb54c9093fa8fa9852a168f18b36109},
keywords = {},
pages = {98-111},
series = {EPTCS},
timestamp = {2023-12-12T23:00:08.000+0100},
title = {Compositional Algorithms for Succinct Safety Games.},
url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs202.html#BrenguierPRS16},
volume = 202,
year = 2015
}