Další formáty:
BibTeX
LaTeX
RIS
@misc{935987, author = {Appl, Jiří and Barnat, Jiří and Brim, Luboš and Černá, Ivana and Češka, Milan and Tůmová, Jana}, keywords = {divine; distributed; probabilistic; quantitative; model checking; ltl}, language = {eng}, institution = {Masarykova univerzita}, organization = {Masarykova univerzita}, title = {ProbDiVinE 2.0}, url = {http://anna.fi.muni.cz/AS/probdivine-2.0.tar.gz}, year = {2010} }
TY - ID - 935987 AU - Appl, Jiří - Barnat, Jiří - Brim, Luboš - Černá, Ivana - Češka, Milan - Tůmová, Jana PY - 2010 TI - ProbDiVinE 2.0 KW - divine KW - distributed KW - probabilistic KW - quantitative KW - model checking KW - ltl UR - http://anna.fi.muni.cz/AS/probdivine-2.0.tar.gz N2 - Tool for Distributed Quantitative Verification of Linear Time Properties of Probabilistic Models. ER -
APPL, Jiří, Jiří BARNAT, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. \textit{ProbDiVinE 2.0}. 2010.
|