Lecture Notes in Computer Science - Computer-Aided Verification
Latest Publications

TOTAL DOCUMENTS

2

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540544777, 9783540383949

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Task-driven supervisory control of discrete event systems

Lecture Notes in Computer Science - Computer-Aided Verification ◽

10.1007/bfb0023742 ◽

1991 ◽

pp. 282-291 ◽

Cited By ~ 3

Author(s):

C. H. Golaszewski ◽

R. P. Kurshan

Keyword(s):

Supervisory Control ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems

Download Full-text

Temporal logic model checking: Two techniques for avoiding the state explosion problem

Lecture Notes in Computer Science - Computer-Aided Verification ◽

10.1007/bfb0023713 ◽

1991 ◽

pp. 1-1

Author(s):

Edmund M. Clarke

Keyword(s):

Model Checking ◽

Temporal Logic ◽

The State ◽

Logic Model ◽

State Explosion ◽

State Explosion Problem ◽

Logic Model Checking

Download Full-text