Items where Author is "Emmi, Michael"

Warning The system is temporarily closed to updates for reporting purpose.
Group by: Item Type | No Grouping
Number of items: 1.

Papers in Conference Proceedings

Cirisci, Berk and Enea, Constantin and Farzan, Azadeh and Mutluergil, Süha Orhun (2023) A pragmatic approach to stateful partial order reduction. In: 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, Boston, MA, USA

This list was generated on Fri Nov 8 03:48:36 2024 +03.