The C@S System

Authors:
Klaus Schneider;Thomas Kropf
Affiliations:
-;-
Venue:
Formal Hardware Verification - Methods and Systems in Comparison
Year:
1997

Citing 0
Cited 1

Introducing Mutual Exclusion in Esterel

PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics

Quantified Score

Hi-index	0.00

Visualization

Abstract