Visning af: Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course

Tilbage til artikeldetaljer Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course Download Download PDF