Visible to the public Basic Problems in Multi-View Modeling

TitleBasic Problems in Multi-View Modeling
Publication TypeConference Paper
Year of Publication2014
AuthorsJan Reineke, Stavros Tripakis
Conference NameTools 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
Keywords1329759
URLhttps://doi.org/10.1007/978-3-642-54862-8_15
DOI10.1007/978-3-642-54862-8_15
Citation KeyDBLP:conf/tacas/ReinekeT14