Real-time logics: Fictitious clock as an abstraction of dense time

Jean Franqois Raskin, Pierre Yves Schobbens

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Real-time logics: Fictitious clock as an abstraction of dense time'. Together they form a unique fingerprint.

Computer Science