Login / Signup
Fibring and Sheaves.
Peter Arndt
Rodrigo de Alvarenga Freire
Odilon Otavio Luciano
Hugo Luiz Mariano
Published in:
IICAI (2005)
Keyphrases
</>
modal logic
model checking