Skip to content

A formal approach for reactive mode handling.

Nadia Hamani, Nathalie Dangoumau, Etienne Craye

VenueBSMC
Year2004
ProceedingsSMC (5)

Browse the full SMC paper archive.