Basic Problems in Multi-View Modeling
Title | Basic Problems in Multi-View Modeling |
Publication Type | Conference Paper |
Year of Publication | 2014 |
Authors | Jan Reineke, Stavros Tripakis |
Conference Name | 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 |
Keywords | 1329759 |
URL | https://doi.org/10.1007/978-3-642-54862-8_15 |
DOI | 10.1007/978-3-642-54862-8_15 |
Citation Key | DBLP:conf/tacas/ReinekeT14 |