A
Menu
January 01, 2000 conference-paper

Verification of logic control design using SIPN and model checking: methods and case study

Proceedings of the ... American Control Conference/Proceedings of the American Control Conference

DOI: 10.1109/acc.2000.876987 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 2 stored of 16

2 results

References 0