SERNADAS, A.,
FIADEIRO, J.,
SERNADAS, C. &
EHRICH, H. D.,
1989,
TEMPORAL LOGIC IN SPECIFICATION. BANIEQBAL, B., BARRINGER, H. & PNUELI, A. (eds.). BERLIN:
SPRINGER-VERLAG BERLIN,
p. 324-350 27 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution