Home

Yves-marie__Quemener


Model-Checking of CTL on Infinite Kripke Structures Defined by Simple Graph Grammars