DMCA

Verifying Petri-Net Models Using Process Algebra (2003)

by Twan Basten
Citations:2 - 0 self