PAS-II: An Interactive Task-Free Version of an Automatic Protocol Analysis System

DOI10.1109/TC.1976.1674622MaRDI QIDQ4088309zbMATH OpenOpenAlexFDO

Authors D. A. Waterman, Allen Newell

Publication date 1976

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tc.1976.1674622

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45) Pattern recognition, speech recognition (68T10) Algorithms in computer science (68W99)

This page was built for publication: PAS-II: An Interactive Task-Free Version of an Automatic Protocol Analysis System

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4088309)