Search Results

Refine Results
  1. 1
    online resource
    by Dietsch, Daniel; Greitschus, Marius; Heizmann, Matthias et al. , Published in Lecture notes in computer science (2018)
    E-Book Special Print Online


  2. 2
    online resource
    by Heizmann, Matthias; Chen, Yu-Fang; Dietsch, Daniel et al. , Published in Lecture notes in computer science (2018)
    E-Book Special Print Online


  3. 3
    online resource
    by Dietsch, Daniel; Heizmann, Matthias; Nutz, Alexander et al. , Published in Tools and algorithms for the construction and analysis of systems : 26th international conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings (2020)
    E-Book Special Print Online


  4. 4
    online resource
    1973
    Electronic Serial Monograph Series Online


  5. 5
    online resource
    by Josi, Frieda; Wartena, Christian; Heid, Ulrich et al. , Published in Lecture notes in computer science (2021)
    E-Book Special Print Online


  6. 6
    local holding
    1973
    Serial Monograph Series


Search Tools: Get RSS Feed E-Mail this Search Save Search