@inproceedings{ChandrasekaranMukund:FORMATS:2006,
    Address = {Berlin, Heidelberg},
    Author = {Chandrasekaran, Prakash and Mukund, Madhavan},
    BookTitle = {Proc. of FORMATS'06},
    File = {Matching scenarios with timing constraints - Chandrasekaran, Mukund (0) (0) - a - a - y.pdf},
    ISBN = {3-540-45026-2, 978-3-540-45026-9},
    Keywords = {timed automata and communicating automata and message sequence charts},
    Location = {Paris, France},
    Pages = {98--112},
    Publisher = {Springer-Verlag},
    Series = {FORMATS'06},
    Title = {Matching scenarios with timing constraints},
    URL = {http://dx.doi.org/10.1007/11867340\_8},
    Year = {2006},
    acmid = {2111585},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11867340\_8},
    date-added = {2012-06-01 11:39:07 +0200},
    date-modified = {2018-03-13 08:48:04 +0000},
    numpages = {15},
    doi = {10.1007/11867340_8}
}

@inproceedings{ChandrasekaranMukund:FORMATS:2006, Address = {Berlin, Heidelberg}, Author = {Chandrasekaran, Prakash and Mukund, Madhavan}, BookTitle = {Proc. of FORMATS'06}, File = {Matching scenarios with timing constraints - Chandrasekaran, Mukund (0) (0) - a - a - y.pdf}, ISBN = {3-540-45026-2, 978-3-540-45026-9}, Keywords = {timed automata and communicating automata and message sequence charts}, Location = {Paris, France}, Pages = {98--112}, Publisher = {Springer-Verlag}, Series = {FORMATS'06}, Title = {Matching scenarios with timing constraints}, URL = {http://dx.doi.org/10.1007/11867340_8}, Year = {2006}, acmid = {2111585}, bdsk-url-1 = {http://dx.doi.org/10.1007/11867340_8}, date-added = {2012-06-01 11:39:07 +0200}, date-modified = {2018-03-13 08:48:04 +0000}, numpages = {15}, doi = {10.1007/11867340_8} }