%0 Conference Paper %1 conf/dagstuhl/PilegaardNN06a %A Pilegaard, Henrik %A Nielson, Hanne Riis %A Nielson, Flemming %B Simulation and Verification of Dynamic Systems %D 2006 %E Nicol, David M. %E Priami, Corrado %E Nielson, Hanne Riis %E Uhrmacher, Adelinde M. %I Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany %K dblp %T Context Dependent Analysis of BioAmbients. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P6161.html#PilegaardNN06a %V 06161

@inproceedings{conf/dagstuhl/PilegaardNN06a, added-at = {2018-08-23T00:00:00.000+0200}, author = {Pilegaard, Henrik and Nielson, Hanne Riis and Nielson, Flemming}, biburl = {https://www.bibsonomy.org/bibtex/2b5be6d6a9c6c84827b70e4dc57832539/dblp}, booktitle = {Simulation and Verification of Dynamic Systems}, crossref = {conf/dagstuhl/2006P6161}, editor = {Nicol, David M. and Priami, Corrado and Nielson, Hanne Riis and Uhrmacher, Adelinde M.}, ee = {http://drops.dagstuhl.de/opus/volltexte/2006/709}, interhash = {23a20acb67c890ecf6a88962fc8c6f9a}, intrahash = {b5be6d6a9c6c84827b70e4dc57832539}, keywords = {dblp}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:24:04.000+0200}, title = {Context Dependent Analysis of BioAmbients.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P6161.html#PilegaardNN06a}, volume = 06161, year = 2006 }