Eintrag weiter verarbeiten
Verfügbar über Online-Ressource

Ultimate Taipan with symbolic interpretation and fluid abstractions: (competition contribution)

Gespeichert in:

Veröffentlicht 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 12079 (2020), 418-422
Personen und Körperschaften: Dietsch, Daniel (VerfasserIn), Heizmann, Matthias (VerfasserIn), Nutz, Alexander (VerfasserIn), Schätzle, Claus (VerfasserIn), Schuessele, Frank (VerfasserIn)
Weitere Verfasser: Heizmann, Matthias [VerfasserIn] • Nutz, Alexander [VerfasserIn] • Schätzle, Claus [VerfasserIn] • Schuessele, Frank [VerfasserIn]
Format: E-Book Sonderdruck
Sprache: Englisch
veröffentlicht:
Cham Springer 2020
Berlin, Heidelberg Springer 2020
Freiburg Albert-Ludwigs-Universität Freiburg 2021
Gesamtaufnahme: Ultimate Taipan with symbolic interpretation and fluid abstractions
Ultimate Taipan with symbolic interpretation and fluid abstractions; 12079 (2020), 418-422
Quelle: Verbunddaten SWB
Lizenzfreie Online-Ressourcen
ISBN: 978-3-030-45236-0
ISSN: 1611-3349