%0 Conference Paper %1 conf/dagstuhl/TobenWR10 %A Toben, Tobe %A Westphal, Bernd %A Rakow, Jan-Hendrik %B Quantitative and Qualitative Analysis of Network Protocols %D 2010 %E Jonsson, Bengt %E Kreiker, Jörg %E Kwiatkowska, Marta Z. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany %K %T Spotlight Abstraction of Agents and Areas. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P10051.html#TobenWR10 %V 10051

@inproceedings{conf/dagstuhl/TobenWR10, added-at = {2023-12-13T02:00:06.000+0100}, author = {Toben, Tobe and Westphal, Bernd and Rakow, Jan-Hendrik}, biburl = {https://www.bibsonomy.org/bibtex/2e698d8649be70f1fa4725f943799a883/admin}, booktitle = {Quantitative and Qualitative Analysis of Network Protocols}, crossref = {conf/dagstuhl/2010P10051}, editor = {Jonsson, Bengt and Kreiker, Jörg and Kwiatkowska, Marta Z.}, ee = {http://drops.dagstuhl.de/opus/volltexte/2010/2517/}, interhash = {797cec4accde50d12f6e9d9b1553d64c}, intrahash = {e698d8649be70f1fa4725f943799a883}, keywords = {}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2023-12-13T02:00:06.000+0100}, title = {Spotlight Abstraction of Agents and Areas.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P10051.html#TobenWR10}, volume = 10051, year = 2010 }