Refinement of trace abstraction for real-time programs
Franck Cassez, Peter Gjøl Jensen*, Kim Guldstrand Larsen
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
7
Link opens in a new tab
Citations
(Scopus)