Fulltext present in this item

Thumbnail
Fulltext: 204610.pdf
Format: PDF
Description: publisher's version
Title: RERS 2019: Combining Synthesis with Real-World Models
Author(s): Jasper, M.; Mues, M.; Murtovi, A.; Schlüter, M.; Howar, F.; Steffen, B.; Schordan, M.; Hendriks, D.; Schiffelers, R.; Kuppens, H.C.W. ; Vaandrager, F.W.
Publication year: 2019
In: Lecture Notes in Computer Science, (2019)Beyer, D.; Huisman, M.; Kordon, F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, pp. 101-115
Publisher: Cham : Springer International Publishing
ISBN: 9783030175023
ISSN: 0302-9743
DOI: https://doi.org/10.1007/978-3-030-17502-3_7
Annotation: Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/204610   https://hdl.handle.net/2066/204610

Display more details
Editor(s): Beyer, D.; Huisman, M.; Kordon, F.; Steffen, B.
Subject: Software Science
Organization: Informatics for Technical Applications
Software Science
Journal title:
Lecture Notes in Computer Science
Book title: Beyer, D.; Huisman, M.; Kordon, F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Page start: p. 101
Page end: p. 115

This item appears in the following Collection(s)

Browse

Statistics