论文信息 - A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems - 字舞流文

A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems

Mauro Pezzè | Dino Mandrioli | Angelo Morzenti | S SanPietroP.SilvaS.PietroPSilva | D. Mandrioli | A. Morzenti | M. Pezzè | S. SanPietroP.SilvaS.PietroPSilva