Compositional Verification of Concurrent and Real-Time Systems
Latest Publications

TOTAL DOCUMENTS

7
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer US

9781461353492, 9781461510093
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tools and Experiments

2002 ◽  
pp. 129-142
Author(s):  
Eric Y. T. Juan ◽  
Jeffrey J. P. Tsai

Introduction

2002 ◽  
pp. 1-6 ◽  
Author(s):  
Eric Y. T. Juan ◽  
Jeffrey J. P. Tsai

Delay Time Petri Nets and Net Reduction

2002 ◽  
pp. 143-186
Author(s):  
Eric Y. T. Juan ◽  
Jeffrey J. P. Tsai
Keyword(s):  
Petri Nets ◽  
Delay Time ◽  
Time Petri Nets

Multiset Labeled Transition Systems

2002 ◽  
pp. 17-27
Author(s):  
Eric Y. T. Juan ◽  
Jeffrey J. P. Tsai
Keyword(s):  
Transition Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document