Generalized Temporal Verification Diagrams.

Anca BrowneZohar MannaHenny Sipma
Published in: FSTTCS (1995)
Keyphrases