Article ISI
IEEE Transactions on Systems, Man and and Cybernetics – PART A: Systems and Humans  (2000)

Verification of External Specifications of Reactive Systems

P. Bellini; M. Bruno; P. Nesi

Más información

Título de la Revista: IEEE Transactions on Systems, Man and and Cybernetics – PART A: Systems and Humans
Volumen: 30
Asunto: 6
Editorial: IEEE
Fecha de publicación: 2000
Página de inicio: 692
Página final: 709
DOI/URL:

10.1109/3468.895892