Visible to the public Biblio

Filters: Author is Jan Reineke  [Clear All Filters]
2018-05-14
Jan Reineke, Stavros Tripakis.  2014.  Basic Problems in Multi-View Modeling. Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedin. :217–232.