@inproceedings{
    tripakisTACAS2014_stavros,
    author = "Reineke, J. and Tripakis, S.",
    volume = "8413",
    responsibleauthor = "Tripakis, Stavros",
    isbn = "978-3-642-54861-1",
    language = "eng",
    title = "{Basic Problems in Multi-View Modeling}",
    url = "http://www.eecs.berkeley.edu/~stavros/papers/tacas14.pdf",
    series = "Lecture Notes in Computer Science",
    booktitle = "Tools and Algorithms for the Construction and Analysis of Systems -- TACAS 2014",
    issn = "0302-9743",
    juforank = "1",
    il = "yes",
    eventdetails = "Grenoble, France, 5.-13.4.2014",
    year = "2014",
    unitcode = "T306-100",
    kay = "",
    impactfactor = "A4",
    pages = "217-232"
}