Vol-2468⫷ Vol-2469 ⫸Vol-2470
urn:nbn:de:0074-2469-0


Vol-2469/xpreface⫷Vol-2469/ERForum1⫸Vol-2469/ERForum2
Marco FranceschettiJohann Eder

Towards Checking Dynamic Controllability of Processes with Temporal Loops