Skip to content

Towards Checking Dynamic Controllability of Processes with Temporal Loops.

Marco Franceschetti, Johann Eder

VenueAER
Year2019
ProceedingsER Forum/Posters/Demos

Browse the full ER paper archive.