DMCA
MONA: Monadic Second-Order Logic in Practice (1995)
Cached
Download Links
- [www.brics.dk]
- [www.brics.dk]
- [www.brics.dk]
- DBLP
Other Repositories/Bibliography
by
Jesper G. Henriksen
,
Ole J.L. Jensen
,
Michael E. Jørgensen
,
Nils Klarlund
,
Robert Paige
,
Theis Rauhe
,
Anders B. Sandholm
Venue: | IN PRACTICE, IN TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, FIRST INTERNATIONAL WORKSHOP, TACAS '95, LNCS 1019 |
Citations: | 149 - 20 self |