Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete

CC BY

Saved in:
Bibliographic Details
Main Authors: Stefan, Göller, Mathieu, Hilaire
Format: Book
Language:English
Published: Springer 2023
Subjects:
PTA
Online Access:https://link.springer.com/article/10.1007/s00224-023-10121-3
https://dlib.phenikaa-uni.edu.vn/handle/PNK/8362
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first