%0 Conference Paper %1 conf/eumas/TermineAPF21 %A Termine, Alberto %A Antonucci, Alessandro %A Primiero, Giuseppe %A Facchini, Alessandro %B EUMAS %D 2021 %E Rosenfeld, Ariel %E Talmon, Nimrod %I Springer %K dblp %P 211-227 %T Logic and Model Checking by Imprecise Probabilistic Interpreted Systems. %U http://dblp.uni-trier.de/db/conf/eumas/eumas2021.html#TermineAPF21 %V 12802 %@ 978-3-030-82254-5

@inproceedings{conf/eumas/TermineAPF21, added-at = {2021-07-21T00:00:00.000+0200}, author = {Termine, Alberto and Antonucci, Alessandro and Primiero, Giuseppe and Facchini, Alessandro}, biburl = {https://www.bibsonomy.org/bibtex/28a467f1d5a54f8a533289a7d2963771b/dblp}, booktitle = {EUMAS}, crossref = {conf/eumas/2021}, editor = {Rosenfeld, Ariel and Talmon, Nimrod}, ee = {https://doi.org/10.1007/978-3-030-82254-5_13}, interhash = {462f8660ce17aa8ff64f939defdf7906}, intrahash = {8a467f1d5a54f8a533289a7d2963771b}, isbn = {978-3-030-82254-5}, keywords = {dblp}, pages = {211-227}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:51:35.000+0200}, title = {Logic and Model Checking by Imprecise Probabilistic Interpreted Systems.}, url = {http://dblp.uni-trier.de/db/conf/eumas/eumas2021.html#TermineAPF21}, volume = 12802, year = 2021 }