Analysis of three hybrid systems in timed &mgr;CRL

Authors:
Jan Frisco Groote;Jos van Wamel
Affiliations:
-;-
Venue:
Science of Computer Programming
Year:
2001

Citing 0
Cited 4

Completeness of timed #CRL

Fundamenta Informaticae
Process algebra for hybrid systems

Theoretical Computer Science - Process algebra
Formal Verification of Timed Systems Using Cones and Foci

Electronic Notes in Theoretical Computer Science (ENTCS)
Completeness of Timed μCRL

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract