Michael; Kol

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

2008 · ENGLISH · PDF

View details →