"Efficiently enforcing mutual state exclusion requirements in symbolic ..."

Sander Thuijsman, Michel A. Reniers, Dennis Hendriks (2021)

Details and statistics

DOI: 10.1109/CASE49439.2021.9551593

access: closed

type: Conference or Workshop Paper

metadata version: 2022-01-03