@chapter{BouyerHaddadReynier,
    Author = {Bouyer, Patricia and Haddad, Serge and Reynier, Pierre-Alain},
    BookTitle = {Automated Technology for Verification and Analysis},
    File = {Timed Unfoldings for Networks of Timed Automata - Bouyer, Haddad, Reynier (0) (0) - a - a - l.pdf},
    Keywords = {timed automata},
    Pages = {292--306},
    Series = {Lecture Notes in Computer Science},
    Title = {Timed Unfoldings for Networks of Timed Automata},
    Volume = {4218},
    Year = {2006},
    bdsk-url-1 = {http://www.springerlink.com/content/h706614142m342u4/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/11901914\_23},
    date-added = {2012-05-28 09:32:28 +0200},
    date-modified = {2012-05-28 07:32:43 +0000},
    doi = {10.1007/11901914_23}
}

@chapter{BouyerHaddadReynier, Author = {Bouyer, Patricia and Haddad, Serge and Reynier, Pierre-Alain}, BookTitle = {Automated Technology for Verification and Analysis}, File = {Timed Unfoldings for Networks of Timed Automata - Bouyer, Haddad, Reynier (0) (0) - a - a - l.pdf}, Keywords = {timed automata}, Pages = {292--306}, Series = {Lecture Notes in Computer Science}, Title = {Timed Unfoldings for Networks of Timed Automata}, Volume = {4218}, Year = {2006}, bdsk-url-1 = {http://www.springerlink.com/content/h706614142m342u4/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/11901914_23}, date-added = {2012-05-28 09:32:28 +0200}, date-modified = {2012-05-28 07:32:43 +0000}, doi = {10.1007/11901914_23} }