Persistent URL of this record https://hdl.handle.net/1887/56107
Documents
-
- Download
- Logical_Methods_in_Computer_Science_10oe2014oe5
- Not Applicable (or Unknown)
- open access
- Full text at publishers site
In Collections
This item can be found in the following collections:
Decidability Problems for Actor Systems
- All authors
- Boer, F.S. de; Jaghoori, M.M.; Laneve, C.; Zavattaro, G.
- Date
- 2014
- Volume
- 10
- Issue
- 4:5
- Pages
- 1 - 29