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

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

Detaylı Bibliyografya
Yazar: Yoeli, Michael 1917-
Diğer Yazarlar: Kol, Rakefet
Materyal Türü: Kitap
Dil:English
Baskı/Yayın Bilgisi: Hoboken, N.J. Wiley-Interscience c2008.
Seri Bilgileri:Wiley series on parallel and distributed computing
Konular:
Integrated circuits > Verification.
Computer software > Verification.
LOTOS (Computer program language)
Petri nets.