%0 Conference Paper %1 conf/ictac/Cruz-FilipeGN22 %A Cruz-Filipe, Luís %A Gaspar, Graça %A Nunes, Isabel %B ICTAC %D 2022 %E Seidl, Helmut %E Liu, Zhiming %E Pasareanu, Corina S. %I Springer %K dblp %P 151-169 %T Reconciling Communication Delays and Negation. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2022.html#Cruz-FilipeGN22 %V 13572 %@ 978-3-031-17715-6

@inproceedings{conf/ictac/Cruz-FilipeGN22, added-at = {2022-12-05T00:00:00.000+0100}, author = {Cruz-Filipe, Luís and Gaspar, Graça and Nunes, Isabel}, biburl = {https://www.bibsonomy.org/bibtex/27711845d0109e6c27c26d701268e8fbe/dblp}, booktitle = {ICTAC}, crossref = {conf/ictac/2022}, editor = {Seidl, Helmut and Liu, Zhiming and Pasareanu, Corina S.}, ee = {https://doi.org/10.1007/978-3-031-17715-6_11}, interhash = {3b938127940f40f0fbc8415fb9a41615}, intrahash = {7711845d0109e6c27c26d701268e8fbe}, isbn = {978-3-031-17715-6}, keywords = {dblp}, pages = {151-169}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:34:06.000+0200}, title = {Reconciling Communication Delays and Negation.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2022.html#Cruz-FilipeGN22}, volume = 13572, year = 2022 }