Effect of caffeine on metabolism and exercise performance during incremental treadmill running

von Gastin, Paul Bernard
Veröffentlicht 1987

Infinite traces

von Gastin, Paul
Veröffentlicht in The book of traces ; 1995 (1994)

The poset of infinitary traces

von Gastin, Paul
Veröffentlicht 1991

Recognizable complex trace languages

von Diekert, Volker
Veröffentlicht 1991

CONCUR 2010 - concurrency theory : 21th international conference, CONCUR 2010, Paris, France, August 31 - September 3, 2010 ; proceedings

Veröffentlicht 2010

Revisiting Underapproximate Reachability for Multipushdown Systems

von Akshay, S.
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata

von Akshay, S.
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next?

von Bouyer, Patricia
Veröffentlicht in FORMATS (20. : 2022 : Warschau) Formal modeling and analysis of timed systems (2022)

Selected papers of the Workshop on Topology and Completion in Semantics : Chartres, France, 18 - 20 November 1993

Veröffentlicht 1995

Selected papers of the Workshop on Topology and Completion in Semantics : Chartres, France, 18 - 20 November 1993

Veröffentlicht 1995