Comparing Formal Verification Approaches of Interlocking Systems
- A. E. Haxthausen
- , Hoang Nga Nguyen
- , M. Roggenbach
Research output: Chapter in Book/Report/Conference proceeding › Chapter
13
Link opens in a new tab
Citations
(Scopus)