%0 Conference Paper %1 conf/ruleml/AngelisFMPP17 %A Angelis, Emanuele De %A Fioravanti, Fabio %A Meo, Maria Chiara %A Pettorossi, Alberto %A Proietti, Maurizio %B RuleML+RR %D 2017 %E Costantini, Stefania %E Franconi, Enrico %E Woensel, William Van %E Kontchakov, Roman %E Sadri, Fariba %E Roman, Dumitru %I Springer %K dblp %P 103-118 %T Verifying Controllability of Time-Aware Business Processes. %U http://dblp.uni-trier.de/db/conf/ruleml/ruleml2017.html#AngelisFMPP17 %V 10364 %@ 978-3-319-61252-2

@inproceedings{conf/ruleml/AngelisFMPP17, added-at = {2023-03-21T00:00:00.000+0100}, author = {Angelis, Emanuele De and Fioravanti, Fabio and Meo, Maria Chiara and Pettorossi, Alberto and Proietti, Maurizio}, biburl = {https://www.bibsonomy.org/bibtex/2e271748331d330d0d88baa2d39f600d3/dblp}, booktitle = {RuleML+RR}, crossref = {conf/ruleml/2017}, editor = {Costantini, Stefania and Franconi, Enrico and Woensel, William Van and Kontchakov, Roman and Sadri, Fariba and Roman, Dumitru}, ee = {https://doi.org/10.1007/978-3-319-61252-2_8}, interhash = {e260f65da7794614eb08f616e82ef230}, intrahash = {e271748331d330d0d88baa2d39f600d3}, isbn = {978-3-319-61252-2}, keywords = {dblp}, pages = {103-118}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T10:27:33.000+0200}, title = {Verifying Controllability of Time-Aware Business Processes.}, url = {http://dblp.uni-trier.de/db/conf/ruleml/ruleml2017.html#AngelisFMPP17}, volume = 10364, year = 2017 }