| Publication info |
|---|
| | |
| Publication type | Publication in a book |
| Publication kind | Conference article |
| Publication title | Structural operational semantics and modal logic, revisited |
| Web URL | |
| Book title | CMCS |
| Volume | 264 |
| From page | 155 |
| To page | 175 |
| Number of sheets | |
| Number of pages | |
| Edition mark | |
| Printed in | |
| Publisher name | |
| Publication year | 2010 |
| Series title | Electr. Notes in Theoretical Computer Science |
| Series index | |
| Publication number | |
| Publication language | English |
| Ethnic language of studied culture | |
| Range | international |
| Report year | 2010 |