An Alternative Semantics for Timed Automata with Independent Clocks

James Jerson Ortiz Vega, Pierre-Yves Schobbens

Research output: Contribution to conference › Abstract › peer-review

34 Downloads (Pure)

1 results
- Title
- Start date(ascending)

CONCURFMICSFORMATSQEST
Pierre Yves Schobbens (Contributor)
18 Sept 2023 → 22 Sept 2023
Activity: Participating in or organising an event types › Participation in conference