%0 Conference Paper %1 conf/cade/LangensteinNRS07 %A Langenstein, Bruno %A Nonnengart, Andreas %A Rock, Georg %A Stephan, Werner %B VERIFY %D 2007 %E Beckert, Bernhard %I CEUR-WS.org %K dblp %T A History-based Verification of Distributed Applications. %U http://dblp.uni-trier.de/db/conf/cade/verify2007.html#LangensteinNRS07 %V 259

@inproceedings{conf/cade/LangensteinNRS07, added-at = {2019-05-28T00:00:00.000+0200}, author = {Langenstein, Bruno and Nonnengart, Andreas and Rock, Georg and Stephan, Werner}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24effdcd7c1d42c7f6df9f6512d40c52c/dblp}, booktitle = {VERIFY}, crossref = {conf/cade/2007verify}, editor = {Beckert, Bernhard}, ee = {http://ceur-ws.org/Vol-259/paper08.pdf}, interhash = {64294dafa678280ae0943322f4648d3d}, intrahash = {4effdcd7c1d42c7f6df9f6512d40c52c}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2019-09-27T15:38:54.000+0200}, title = {A History-based Verification of Distributed Applications.}, url = {http://dblp.uni-trier.de/db/conf/cade/verify2007.html#LangensteinNRS07}, volume = 259, year = 2007 }