Concepedia
IFIP Congress · 1994 · 46 citations · 2 references
ComputingComputer ScienceFormal MethodsFormal AnalysisFormal EpistemologyFormal Language FoundationsFormal SemanticsModel CheckingPredicate LogicFormal ModelingFormal Models Of KnowledgeFormal Verification
2
Protocol Verification via Projections
Simon S. Lam, A. Udaya Shankar · IEEE Transactions on Software Engineering · 1984 · 219 citations
Computing, Computer Engineering, Computer Science +14
An improved protocol reachability analysis technique
Gerard J. Holzmann · Software Practice and Experience · 1988 · 131 citations
Engineering, Computer Science, Distributed Systems +15