Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
LENGÁL, O. LIN, A. MAJUMDAR, R. RUMMER, P.
Originální název
Fair Termination for Parameterized Probabilistic Concurrent Systems
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
Originální abstrakt
Klíčová slova
Probabilistic verificationParameterized verificationRegular model checkingFairnessLiveness
Autoři
LENGÁL, O.; LIN, A.; MAJUMDAR, R.; RUMMER, P.
Vydáno
23. 1. 2017
Nakladatel
Springer Verlag
Místo
Heidelberg
ISBN
978-3-662-46680-3
Kniha
Proceedings of TACAS'17
Edice
Lecture Notes in Computer Science
ISSN
0302-9743
Periodikum
Ročník
10205
Číslo
1
Stát
Spolková republika Německo
Strany od
499
Strany do
517
Strany počet
19
URL
https://www.fit.vut.cz/research/publication/11324/
BibTex
@inproceedings{BUT135903, author="Ondřej {Lengál} and Anthony {Lin} and Rupak {Majumdar} and Philipp {Rummer}", title="Fair Termination for Parameterized Probabilistic Concurrent Systems", booktitle="Proceedings of TACAS'17", year="2017", series="Lecture Notes in Computer Science", journal="Lecture Notes in Computer Science", volume="10205", number="1", pages="499--517", publisher="Springer Verlag", address="Heidelberg", doi="10.1007/978-3-662-54577-5\{_}29", isbn="978-3-662-46680-3", issn="0302-9743", url="https://www.fit.vut.cz/research/publication/11324/" }
Dokumenty
fair-term.pdf