Concurrency Verification: Introduction to Compositional and Non-compositional Methods 论文

2012University of Twente Research Information引用 224
PDF
Distributed systems and fault toleranceFormal Methods in VerificationPetri Nets in System Modeling
Distributed systems and fault tolerancePetri Nets in System ModelingFormal Methods in Verification
相关技术:Petri Nets in System ModelingFormal Methods in Verification
关系图谱

Concurrency Verification: Introduction to Compositional and Non-compositional Methods · 作者

J

Job Zwiers

M

Mannes Poel

Y

Yassine Lakhnech

J

Jozef Hooman

U

Ulrich Hanneman

F

Frank de Boer

W

Willem-Paul de Roever