RERS 2019: Combining Synthesis with Real-World Models
- 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 date
January 2019
DOI Publisher
Springer Science and Business Media LLCAbstract
Contains fulltext : 204610.pdf (publisher's version ) (Open Access)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, 201
Add to ORKG