Final published version
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review
Publication date | 2013 |
---|---|
Host publication | Theoretical Aspects of Computing – ICTAC 2013: Proceedings of the 10th International Colloquium on Theoretical Aspects of Computing -- ICTAC 2013 |
Editors | Zhiming Liu, Jim Woodcock, Huibiao Zhu |
Place of Publication | Berlin |
Publisher | Springer |
Pages | 231-248 |
Number of pages | 18 |
ISBN (electronic) | 9783642397189 |
ISBN (print) | 9783642397172 |
<mark>Original language</mark> | English |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 8049 |
ISSN (Print) | 0302-9743 |
ISSN (electronic) | 1611-3349 |