Automated verification of responsive protocols modeled by extended finite state machines
Yoshiaki Kakuda, Tohru Kikuno, Kenichi KawashimaVolume:
7
Language:
english
Pages:
15
DOI:
10.1007/bf01088522
Date:
November, 1994
File:
PDF, 940 KB
english, 1994