%0 Conference Paper %1 conf/dagstuhl/BalBL08 %A Bal, Henri E. %A Brim, Lubos %A Leucker, Martin %B Distributed Verification and Grid Computing %D 2008 %E Bal, Henri E. %E Brim, Lubos %E Leucker, Martin %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany %K dblp %T 08332 Abstracts Collection - Distributed Verification and Grid Computing. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P8332.html#BalBL08 %V 08332

@inproceedings{conf/dagstuhl/BalBL08, added-at = {2018-08-23T00:00:00.000+0200}, author = {Bal, Henri E. and Brim, Lubos and Leucker, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2f56bad08f9fbc4d2a9957d10c524c7c0/dblp}, booktitle = {Distributed Verification and Grid Computing}, crossref = {conf/dagstuhl/2008P8332}, editor = {Bal, Henri E. and Brim, Lubos and Leucker, Martin}, ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1633/}, interhash = {e800112a5f7c26a51237c5499e9b5632}, intrahash = {f56bad08f9fbc4d2a9957d10c524c7c0}, keywords = {dblp}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:23:55.000+0200}, title = {08332 Abstracts Collection - Distributed Verification and Grid Computing.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P8332.html#BalBL08}, volume = 08332, year = 2008 }