file.pdf (946.19 kB)

PAS-II : an interactive task-free version of an automatic protocol analysis system

Download (946.19 kB)
journal contribution
posted on 01.01.2014, 00:00 by D. A.(Donald Arthur) Waterman, Allen Newell
Computer Science Department

History

Publisher Statement

Copyright © 2014 by the Society for Industrial and Applied Mathematics.

Date

01/01/2014