@article{AkshayGastinMukundKumar:TCS:2015,
    Author = {Akshay, S. and Gastin, Paul and Mukund, Madhavan and Kumar, K. Narayan},
    File = {1-s2.0-S0304397515002467-main (0) - a - a - t.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {MSC graphs, Timed automata, Model checking},
    Pages = {24--43},
    Title = {Checking conformance for time-constrained scenario-based specifications},
    URL = {http://www.sciencedirect.com/science/article/pii/S0304397515002467},
    Volume = {594},
    Year = {2015},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397515002467},
    bdsk-url-2 = {https://doi.org/10.1016/j.tcs.2015.03.030},
    date-added = {2018-03-13 10:05:40 +0000},
    date-modified = {2018-03-13 10:06:26 +0000},
    doi = {10.1016/j.tcs.2015.03.030}
}

@article{AkshayGastinMukundKumar:TCS:2015, Author = {Akshay, S. and Gastin, Paul and Mukund, Madhavan and Kumar, K. Narayan}, File = {1-s2.0-S0304397515002467-main (0) - a - a - t.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {MSC graphs, Timed automata, Model checking}, Pages = {24--43}, Title = {Checking conformance for time-constrained scenario-based specifications}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397515002467}, Volume = {594}, Year = {2015}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397515002467}, bdsk-url-2 = {https://doi.org/10.1016/j.tcs.2015.03.030}, date-added = {2018-03-13 10:05:40 +0000}, date-modified = {2018-03-13 10:06:26 +0000}, doi = {10.1016/j.tcs.2015.03.030} }