Original language | English |
---|---|
Title of host publication | Logics of Specification Languages |
Editors | Dines Bjørner, Martin C. Henson |
Publisher | Springer |
Publication date | 2008 |
Pages | 291-341 |
ISBN (Print) | 978-3-540-74106-0 |
Publication status | Published - 2008 |
Series | Monographs in Theoretical Computer Science. An EATCS Series |
---|