Search Results

thumbnail image
PDF
PDF-1(585.41 kb)

Citation & Export

Simple citation

Akkoyunlu, E. A. & Nemes, Richard M.. Modular Verification of Communicating Sequential Processes. Retrieved from https://doi.org/doi:10.7282/T33T9MP4

Export

Statistics