Read, Write and Copy Dependencies for Symbolic Model Checking
- Jeroen Meijer
- , Gijs Kant
- , Stefan Blom
- , Jan Cornelis van de Pol
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
17
Link opens in a new tab
Citations
(Scopus)
338
Downloads
(Pure)