Timed transition systems 论文

1992Lecture notes in computer science引用 246
DOI
Formal Methods in VerificationReal-Time Systems SchedulingPetri Nets in System Modeling
Petri Nets in System ModelingFormal Methods in VerificationReal-Time Systems Scheduling
相关技术:Petri Nets in System ModelingFormal Methods in Verification
关系图谱

Timed transition systems · 作者

A

Amir Pnueli

Z

Zohar Manna

T

Thomas A. Henzinger