Որոնման արդյունքները

Verification of systems and circuits using LOTOS, Petri Nets, and CCS ‌ Yoeli, Michael, 1917-

An electronic book accessible through the World Wide Web; click to view