%0 Conference Paper %1 conf/quatic/LopesO20 %A Lopes, Bruno %A de Oliveira, Daniel %B QUATIC %D 2020 %E Shepperd, Martin J. %E e Abreu, Fernando Brito %E da Silva, Alberto Rodrigues %E Pérez-Castillo, Ricardo %I Springer %K dblp %P 449-456 %T Towards Failure Prediction in Scientific Workflows Using Stochastic Petri Nets and Dynamic Logic. %U http://dblp.uni-trier.de/db/conf/quatic/quatic2020.html#LopesO20 %V 1266 %@ 978-3-030-58793-2

@inproceedings{conf/quatic/LopesO20, added-at = {2020-09-22T00:00:00.000+0200}, author = {Lopes, Bruno and de Oliveira, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/22b81e4f694ab45003d9f84d8be9fb31c/dblp}, booktitle = {QUATIC}, crossref = {conf/quatic/2020}, editor = {Shepperd, Martin J. and e Abreu, Fernando Brito and da Silva, Alberto Rodrigues and Pérez-Castillo, Ricardo}, ee = {https://doi.org/10.1007/978-3-030-58793-2_36}, interhash = {2cc74fea95d6385e2b774cd07d7c3991}, intrahash = {2b81e4f694ab45003d9f84d8be9fb31c}, isbn = {978-3-030-58793-2}, keywords = {dblp}, pages = {449-456}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2020-09-23T11:36:47.000+0200}, title = {Towards Failure Prediction in Scientific Workflows Using Stochastic Petri Nets and Dynamic Logic.}, url = {http://dblp.uni-trier.de/db/conf/quatic/quatic2020.html#LopesO20}, volume = 1266, year = 2020 }