Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCSЭлектронная книгаVerification of Systems and Circuits Using LOTOS, Petri Nets, and CCSавтораMichael YoeliРейтинг: 0 из 5 звезд0 оценокСохранить Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS на потом