|
|||||
|
|
Generating models of infinite-state communication protocols using regular inference with abstraction |
|
| Authors: | Fides Aarts Bengt Jonsson Johan Uijen Frits Vaandrager |
| Affiliation: | 1. Institute for Computing and Information Sciences, Radboud University Nijmegen, P.O. Box 9010, 6500 GL, Nijmegen, The Netherlands 3. Department of Computer Systems, Uppsala University, Uppsala, Sweden 2. CGI Nederland B.V., P.O. Box 8566, 3009 AN, Rotterdam, The Netherlands |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |