Ver registro no DEDALUS
Exportar registro bibliográfico

Conformance testing by model checking timed extended finite state machines (2006)