@chapter{YonedaShibayamaSchlingloffClarke,
    Author = {Yoneda, Tomohiro and Shibayama, Atsufumi and Schlingloff, Bernd-Holger and Clarke, Edmund M.},
    BookTitle = {Computer Aided Verification},
    File = {Efficient verification of parallel real-time systems - Yoneda, Shibayama, Schlingloff, Clarke (0) (0) - a - a - s.pdf},
    Keywords = {counter automata and Petri nets and model checking and timed automata},
    Pages = {321--332},
    Series = {Lecture Notes in Computer Science},
    Title = {Efficient verification of parallel real-time systems},
    Volume = {697},
    Year = {1993},
    bdsk-url-1 = {http://www.springerlink.com/content/y111t3h1183w483w/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/3-540-56922-7\_27},
    date-added = {2012-07-07 09:54:38 +0200},
    date-modified = {2012-07-07 07:55:33 +0000},
    doi = {10.1007/3-540-56922-7_27}
}

@chapter{YonedaShibayamaSchlingloffClarke, Author = {Yoneda, Tomohiro and Shibayama, Atsufumi and Schlingloff, Bernd-Holger and Clarke, Edmund M.}, BookTitle = {Computer Aided Verification}, File = {Efficient verification of parallel real-time systems - Yoneda, Shibayama, Schlingloff, Clarke (0) (0) - a - a - s.pdf}, Keywords = {counter automata and Petri nets and model checking and timed automata}, Pages = {321--332}, Series = {Lecture Notes in Computer Science}, Title = {Efficient verification of parallel real-time systems}, Volume = {697}, Year = {1993}, bdsk-url-1 = {http://www.springerlink.com/content/y111t3h1183w483w/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/3-540-56922-7_27}, date-added = {2012-07-07 09:54:38 +0200}, date-modified = {2012-07-07 07:55:33 +0000}, doi = {10.1007/3-540-56922-7_27} }