Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release
- Linh Hong Vu
- , Anne Elisabeth Haxthausen
- , Jan Peleska
- University of Bremen
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
778
Downloads (Orbit)