Rakefet Kol Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

4

  • 0
Поделиться

Полная версия:

Rakefet Kol Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

  • + Увеличить шрифт
  • - Уменьшить шрифт
Купить и скачать всю книгу
ВходРегистрация
Забыли пароль