All Linear-Time Congruences for Finite LTSs and Familiar Operators
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
| Original language | English |
|---|
| Title of host publication | Proceedings of the 12th International Conference on Application of Concurrency to System Design, ACSD 2012, 27-29 June 2012, Hamburg, Germany |
|---|
| Place of Publication | Los Alamitos, CA |
|---|
| Publisher | IEEE Computer Society |
|---|
| Pages | 12-21 |
|---|
| ISBN (Electronic) | 978-0-7695-4709-1 |
|---|
| ISBN (Print) | 978-1-4673-1687-3 |
|---|
| DOIs | |
|---|
| Publication status | Published - 2012 |
|---|
| Publication type | A4 Article in a conference publication |
|---|
| Event | Application of Concurrency to System Design -
Duration: 1 Jan 1900 → … |
|---|
| Name | Application of Concurrency to System Design |
|---|
| ISSN (Print) | 1550-4808 |
|---|
| Conference | Application of Concurrency to System Design |
|---|
| Period | 1/01/00 → … |
|---|
