On Lamport's comparison between linear and branching time temporal logic
Susanne Graf (1984)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Susanne Graf (1984)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Lamarche, François (2007)
Theory and Applications of Categories [electronic only]
Similarity:
J. M. Davoren (1999)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Egidio Astesiano, Gerardo Costa (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Colin McLarty (1989)
Diagrammes
Similarity:
F. Kröger (1985)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
J. Vauzeilles, A. Strauss (1991)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: