Fingerprint
Dive into the research topics of 'Trace spaces: An efficient new technique for state-space reduction'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Trace spaces: An efficient new technique for state-space reduction
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
17
Citations
(Scopus)