%0 Conference Paper %1 conf/lpnmr/GomesA11 %A Gomes, Ana Sofia %A Alferes, José Júlio %B LPNMR %D 2011 %E Delgrande, James P. %E Faber, Wolfgang %I Springer %K dblp %P 272-277 %T Transaction Logic with External Actions. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2011.html#GomesA11 %V 6645 %@ 978-3-642-20894-2

@inproceedings{conf/lpnmr/GomesA11, added-at = {2017-06-04T00:00:00.000+0200}, author = {Gomes, Ana Sofia and Alferes, José Júlio}, biburl = {https://www.bibsonomy.org/bibtex/2e443d117cc3ac41f602f0008790481e5/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2011}, editor = {Delgrande, James P. and Faber, Wolfgang}, ee = {https://doi.org/10.1007/978-3-642-20895-9_31}, interhash = {b91879ce245c2c549045fb1882a95182}, intrahash = {e443d117cc3ac41f602f0008790481e5}, isbn = {978-3-642-20894-2}, keywords = {dblp}, pages = {272-277}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:07.000+0200}, title = {Transaction Logic with External Actions.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2011.html#GomesA11}, volume = 6645, year = 2011 }