Personensuche
X
?
Lecture Notes in Computer Science; NASA Formal Methods ,
6
Formalising Liveness Properties in Event-B with the Reflexi..:
, In:
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
7
Standalone Event-B Models Analysis Relying on the EB4EB Met..:
, In:
?
15
Physica status solidi
Volume 107, Number 2: June 16
Physica status solidi ; Volume 107, Number 2, A