Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2009
Boneva, I. and Kreiker, J. and Kurban, M.E. and Rensink, A.
(2009)
Graph Abstraction for a Modal Logic.
Bulletin of the European Association for Theoretical Computer Science, 97.
pp. 106-116.
ISSN 0252-9742
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||