Skip to Main content Skip to Navigation
Directions of work or proceedings

Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02093532
Contributor : Fabrice Kordon <>
Submitted on : Tuesday, April 9, 2019 - 9:01:53 AM
Last modification on : Tuesday, March 23, 2021 - 9:28:02 AM

Links full text

Identifiers

Citation

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen. Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019. Apr 2019, Pragues, Czech Republic. 11427, Springer, pp.59-76, 2019, ⟨10.1007/978-3-030-17462-0_4⟩. ⟨hal-02093532⟩

Share

Metrics

Record views

69