Return to Article Details
Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course
Download
Download PDF