HiVy

swMATH1933MaRDI QIDQ14482FDOQ14482

Author name not available (Why is that?)

Official website: http://trs-new.jpl.nasa.gov/dspace/bitstream/2014/11205/1/02-3112.pdf

Cited In (2)

• Modelling and model checking suspendible business processes via statechart diagrams and CSP
• Computer Aided Verification

This page was built for software: HiVy