Original language | English |
---|---|
Journal | Electronic Notes in Theoretical Computer Science |
Volume | 262 |
Pages (from-to) | 1-262 |
ISSN | 1571-0661 |
Publication status | Published - 2010 |
Proceedings of the 6th workshop on Methods for Modalities (M4M-6 2009), Copenhagen, Denmark 12-14 November 2009
Thomas Bolander (Editor), Torben Braüner (Editor)
Research output: Contribution to journal › Conference abstract in journal › Research › peer-review