- Authors:
- DOI:
- 10.1016/j.entcs.2013.09.012
- Type:
- Journal article
- Language:
- English
- Published in:
- Logical Methods in Computer Science, 2014, p. 2-20
- Main Research Area:
- Science/technology
- Publication Status:
- Published
- Review type:
- Peer Review
- Submission year:
- 2014
- Scientific Level:
- Scientific
- ID:
- 255185843