Parametric Timed Pattern Matching

Open Webpage

Masaki Waga, Étienne André, Ichiro Hasuo

Published: 2023, Last Modified: 25 Jan 2026ACM Trans. Softw. Eng. Methodol. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0