Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/cav/JaberJW0S20
%A Jaber, Nouraldin
%A Jacobs, Swen
%A Wagner, Christopher
%A Kulkarni, Milind
%A Samanta, Roopsha
%B CAV (1)
%D 2020
%E Lahiri, Shuvendu K.
%E Wang, Chao
%I Springer
%K dblp
%P 299-323
%T Parameterized Verification of Systems with Global Synchronization and Guards.
%U http://dblp.uni-trier.de/db/conf/cav/cav2020-1.html#JaberJW0S20
%V 12224
%@ 978-3-030-53288-8
@inproceedings{conf/cav/JaberJW0S20,
added-at = {2020-08-12T00:00:00.000+0200},
author = {Jaber, Nouraldin and Jacobs, Swen and Wagner, Christopher and Kulkarni, Milind and Samanta, Roopsha},
biburl = {https://www.bibsonomy.org/bibtex/2f878298b0b78a5d661fb9436b2132157/dblp},
booktitle = {CAV (1)},
crossref = {conf/cav/2020-1},
editor = {Lahiri, Shuvendu K. and Wang, Chao},
ee = {https://doi.org/10.1007/978-3-030-53288-8_15},
interhash = {b5d756ed9a26c38d0d0e4ad82be57e75},
intrahash = {f878298b0b78a5d661fb9436b2132157},
isbn = {978-3-030-53288-8},
keywords = {dblp},
pages = {299-323},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2020-08-13T11:55:03.000+0200},
title = {Parameterized Verification of Systems with Global Synchronization and Guards.},
url = {http://dblp.uni-trier.de/db/conf/cav/cav2020-1.html#JaberJW0S20},
volume = 12224,
year = 2020
}