HiVy

MaRDI QIDQ14482swMATHFDO

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

Cited in

(2)

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

This page was built for software: HiVy