- Authors:
- DOI:
- 10.4230/LIPIcs.CSL.2011.144
- ISBN:
- 9783939897323
- Type:
- Conference paper
- Language:
- English
- Published in:
- Csl Computer Science Logic: 25th International Workshop / 20th Annual Conference of the Eacsl, Csl 2011, September 12-15, 2011, Bergen, Norway, Proceedings, 2011, p. 144-158
- Main Research Area:
- Science/technology
- Publication Status:
- Published
- Review type:
- Peer Review
- Publisher:
- Schloss Dagstuhl. Leibniz-Zentrum für Informatik
- Submission year:
- 2011
- Scientific Level:
- Scientific
- ID:
- 243831845