%0 Conference Paper %1 conf/vmcai/JacobsSZ20 %A Jacobs, Swen %A Sakr, Mouhammad %A Zimmermann, Martin %B VMCAI %D 2020 %E Beyer, Dirk %E Zufferey, Damien %I Springer %K dblp %P 337-359 %T Promptness and Bounded Fairness in Concurrent and Parameterized Systems. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2020.html#JacobsSZ20 %V 11990 %@ 978-3-030-39322-9

@inproceedings{conf/vmcai/JacobsSZ20, added-at = {2020-02-06T00:00:00.000+0100}, author = {Jacobs, Swen and Sakr, Mouhammad and Zimmermann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/266ac4227e9453b37566e8e774eb32473/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2020}, editor = {Beyer, Dirk and Zufferey, Damien}, ee = {https://doi.org/10.1007/978-3-030-39322-9_16}, interhash = {af914ef5c3e8bb82bdcc8b2d7cb78127}, intrahash = {66ac4227e9453b37566e8e774eb32473}, isbn = {978-3-030-39322-9}, keywords = {dblp}, pages = {337-359}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-02-07T11:51:54.000+0100}, title = {Promptness and Bounded Fairness in Concurrent and Parameterized Systems.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2020.html#JacobsSZ20}, volume = 11990, year = 2020 }