%0 Conference Paper %1 conf/sbcci/WirthRVK06 %A Wirth, Gilson I. %A Ribeiro, Ivandro %A Vieira, Michele G. %A de Lima Kastensmidt, Fernanda Gusmão %B SBCCI %D 2006 %E Jr., Claudionor José Nunes Coelho %E Jacobi, Ricardo P. %E Becker, Jürgen %I ACM %K dblp %P 184-189 %T Single event transients in dynamic logic. %U http://dblp.uni-trier.de/db/conf/sbcci/sbcci2006.html#WirthRVK06

@inproceedings{conf/sbcci/WirthRVK06, added-at = {2021-10-14T00:00:00.000+0200}, author = {Wirth, Gilson I. and Ribeiro, Ivandro and Vieira, Michele G. and de Lima Kastensmidt, Fernanda Gusmão}, biburl = {https://www.bibsonomy.org/bibtex/28c4a9050ebec7ffe6581f8e0ea0c5426/dblp}, booktitle = {SBCCI}, crossref = {conf/sbcci/2006}, editor = {Jr., Claudionor José Nunes Coelho and Jacobi, Ricardo P. and Becker, Jürgen}, ee = {https://doi.org/10.1145/1150343.1150392}, interhash = {8c1d46e3fac35502787c0ea13758a347}, intrahash = {8c4a9050ebec7ffe6581f8e0ea0c5426}, keywords = {dblp}, pages = {184-189}, publisher = {ACM}, timestamp = {2024-04-10T06:32:28.000+0200}, title = {Single event transients in dynamic logic.}, url = {http://dblp.uni-trier.de/db/conf/sbcci/sbcci2006.html#WirthRVK06}, year = 2006 }