Old Web
English
Sign In
Acemap
>
Paper
>
A discussion of inspections based on patterns for CSP descriptions
A discussion of inspections based on patterns for CSP descriptions
2011
Chang Han-Myung
Noro Masami
Sawada Atsushi
Yoshida Atsushi
Hachisu Yoshinari
Yokomori Reishi
Keywords:
Model checking
Deadlock
Distributed computing
Computer science
Theoretical computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]