%0 Conference Paper %1 conf/iclp/VaranasiHAS00DG21 %A Varanasi, Sarat Chandra %A Hall, Brendan %A Arias, Joaquín %A Salazar, Elmer %A Li, Fang %A Basu, Kinjal %A Driscoll, Kevin %A Gupta, Gopal %B ICLP Workshops %D 2021 %E Arias, Joaquín %E D'Asaro, Fabio Aurelio %E Dyoub, Abeer %E Gupta, Gopal %E Hecher, Markus %E LeBlanc, Emily %E Peñaloza, Rafael %E Salazar, Elmer %E Saptawijaya, Ari %E Weitkämper, Felix %E Zangari, Jessica %I CEUR-WS.org %K dblp %T Modelling and Verification of Timed Systems with the Event Calculus and s(CASP). %U http://dblp.uni-trier.de/db/conf/iclp/iclp2021w.html#VaranasiHAS00DG21 %V 2970

@inproceedings{conf/iclp/VaranasiHAS00DG21, added-at = {2023-03-10T00:00:00.000+0100}, author = {Varanasi, Sarat Chandra and Hall, Brendan and Arias, Joaquín and Salazar, Elmer and Li, Fang and Basu, Kinjal and Driscoll, Kevin and Gupta, Gopal}, biburl = {https://www.bibsonomy.org/bibtex/2c0d0c83bde31070bf5594d153e7b5527/dblp}, booktitle = {ICLP Workshops}, crossref = {conf/iclp/2021w}, editor = {Arias, Joaquín and D'Asaro, Fabio Aurelio and Dyoub, Abeer and Gupta, Gopal and Hecher, Markus and LeBlanc, Emily and Peñaloza, Rafael and Salazar, Elmer and Saptawijaya, Ari and Weitkämper, Felix and Zangari, Jessica}, ee = {https://ceur-ws.org/Vol-2970/gdepaper2.pdf}, interhash = {df02e6f2b09b60b82a0e6e9bbc0a6b51}, intrahash = {c0d0c83bde31070bf5594d153e7b5527}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T16:09:38.000+0200}, title = {Modelling and Verification of Timed Systems with the Event Calculus and s(CASP).}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2021w.html#VaranasiHAS00DG21}, volume = 2970, year = 2021 }