Projection Onto State in Duration Calculus: Relative Completeness

Dimitar Guelev, DV Hung, SGM Leuschel, SL Presti

Research output: Contribution to conference (unpublished)Paper

Original languageEnglish
Publication statusPublished - 1 Jan 2003
EventThird Workshop on Automatic Verification of Critical Systems -
Duration: 1 Jan 2003 → …

Conference

ConferenceThird Workshop on Automatic Verification of Critical Systems
Period1/01/03 → …

Cite this