Context Dependent Analysis of BioAmbients |
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson
|
| Type | Technical report |
| Journal/Book/Conference | Proceedings of Dastuhl Seminar 0661; also 1st. Int. Workshop on Emerging Applications of Abstract Interpretation |
| Year | 2006 Vol. 06161 |
| Publisher | Internationles Degegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany |
| Series | Dagstuhl Seminar Proceedings |
| ISBN / ISSN | 1962-4406 |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |