articleTop 1% cited
Computer-aided verification of coordinating processes: The automata-theoretic approach
Computers & Mathematics with Applications · 1995 · Vol. 29(11) · pp. 109–109
Business Process Modeling and AnalysisLogic, programming, and type systemsFormal Methods in VerificationAutomatonMathematicsTheoretical computer scienceAlgebra over a fieldAlgorithmComputer sciencePure mathematics
Citations
787
FWCI
61.98
field-weighted impact
References
0
Percentile
100%
vs. same field & year
Citations per year
Citation Network
How this paper connects to the literature. Drag to explore, click any node to open that paper.