%0 Conference Paper %1 conf/scesm/HarelM06 %A Harel, David %A Maoz, Shahar %B SCESM %D 2006 %E Whittle, Jon %E Geiger, Leif %E Meisinger, Michael %I ACM %K dblp %P 13-20 %T Assert and negate revisited: modal semantics for UML sequence diagrams. %U http://dblp.uni-trier.de/db/conf/scesm/scesm2006.html#HarelM06 %@ 1-59593-394-8

@inproceedings{conf/scesm/HarelM06, added-at = {2019-10-19T00:00:00.000+0200}, author = {Harel, David and Maoz, Shahar}, biburl = {https://www.bibsonomy.org/bibtex/2ee937a4b3edfee52dd55c01ba28fc69c/dblp}, booktitle = {SCESM}, crossref = {conf/scesm/2006}, editor = {Whittle, Jon and Geiger, Leif and Meisinger, Michael}, ee = {https://doi.org/10.1145/1138953.1138958}, interhash = {b5e98fd0cb5cc2e6c3c5a135c29992d2}, intrahash = {ee937a4b3edfee52dd55c01ba28fc69c}, isbn = {1-59593-394-8}, keywords = {dblp}, pages = {13-20}, publisher = {ACM}, timestamp = {2024-04-10T01:11:28.000+0200}, title = {Assert and negate revisited: modal semantics for UML sequence diagrams.}, url = {http://dblp.uni-trier.de/db/conf/scesm/scesm2006.html#HarelM06}, year = 2006 }