A verification method based on homomorphic model abstractions (abstract)

Authors:
Ulrich Nitsche
Affiliations:
German National Research Center for Computer Science, GMD, Rheinstraβe 75, D-64295 Darmstadt, Germany
Venue:
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Year:
1994

Citing 2
Cited 1

Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Propositional Linear Temporal Logic and Language Homomorphisms

LFCS '94 Proceedings of the Third International Symposium on Logical Foundations of Computer Science

Relative liveness and behavior abstraction (extended abstract)

PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing

Quantified Score

Hi-index	0.00

Visualization

Abstract