@chapter{Ehlers,
    Author = {Ehlers, R{\"u}diger},
    BookTitle = {Computer Aided Verification},
    File = {ACTL ∩ LTL Synthesis - Ehlers (0) (0) - a - a - o.pdf},
    Keywords = {synthesis},
    Pages = {39--54},
    Series = {Lecture Notes in Computer Science},
    Title = {{ACTL$\cap$LTL Synthesis}},
    Volume = {7358},
    Year = {2012},
    bdsk-url-1 = {http://www.springerlink.com/content/6312375jp1864452/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-31424-7\_9},
    date-added = {2012-07-07 10:35:10 +0200},
    date-modified = {2012-07-07 08:35:29 +0000},
    doi = {10.1007/978-3-642-31424-7_9}
}

@chapter{Ehlers, Author = {Ehlers, R{\"u}diger}, BookTitle = {Computer Aided Verification}, File = {ACTL ∩ LTL Synthesis - Ehlers (0) (0) - a - a - o.pdf}, Keywords = {synthesis}, Pages = {39--54}, Series = {Lecture Notes in Computer Science}, Title = {{ACTL$\cap$LTL Synthesis}}, Volume = {7358}, Year = {2012}, bdsk-url-1 = {http://www.springerlink.com/content/6312375jp1864452/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-31424-7_9}, date-added = {2012-07-07 10:35:10 +0200}, date-modified = {2012-07-07 08:35:29 +0000}, doi = {10.1007/978-3-642-31424-7_9} }