@chapter{Baeten:Timed:2004,
    Author = {Baeten, J. C. M. and Reniers, M. A.},
    BookTitle = {Formal Methods for the Design of Real-Time Systems},
    File = {Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing) - Baeten, Reniers (0) (0) - a - a - j.pdf},
    Keywords = {timed process algebra},
    Pages = {159--161},
    Series = {Lecture Notes in Computer Science},
    Title = {Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)},
    Volume = {3185},
    Year = {2004},
    bdsk-url-1 = {http://www.springerlink.com/content/rtd6ypuqh144qw42/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-30080-9\_3},
    date-added = {2012-07-04 16:38:01 +0200},
    date-modified = {2012-07-04 18:08:16 +0000},
    doi = {10.1007/978-3-540-30080-9_3}
}

@chapter{Baeten:Timed:2004, Author = {Baeten, J. C. M. and Reniers, M. A.}, BookTitle = {Formal Methods for the Design of Real-Time Systems}, File = {Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing) - Baeten, Reniers (0) (0) - a - a - j.pdf}, Keywords = {timed process algebra}, Pages = {159--161}, Series = {Lecture Notes in Computer Science}, Title = {Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)}, Volume = {3185}, Year = {2004}, bdsk-url-1 = {http://www.springerlink.com/content/rtd6ypuqh144qw42/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-30080-9_3}, date-added = {2012-07-04 16:38:01 +0200}, date-modified = {2012-07-04 18:08:16 +0000}, doi = {10.1007/978-3-540-30080-9_3} }