@inproceedings{LeueMayrWei,
    Author = {Leue, Stefan and Mayr, Richard and Wei, Wei},
    BookTitle = {Proc. of TACAS'04},
    File = {A Scalable Incomplete Test for the Boundedness of UML RT Models - Leue, Mayr, Wei (0) (0) - a - a - u.pdf},
    Keywords = {communicating automata and boundedness},
    Pages = {327--341},
    Publisher = {Springer Berlin / Heidelberg},
    Series = {LNCS},
    Title = {A Scalable Incomplete Test for the Boundedness of UML RT Models},
    Volume = {2988},
    Year = {2004},
    bdsk-url-1 = {http://www.springerlink.com/content/dbam0km6r0mp0k8y/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-24730-2\_26},
    date-added = {2012-06-02 11:27:55 +0200},
    date-modified = {2014-01-03 10:16:33 +0000},
    file-2 = {A Scalable Incomplete Test for the Boundedness of UML RT Models - Leue, Mayr, Wei (1) (0) - a - a - u.pdf},
    doi = {10.1007/978-3-540-24730-2_26}
}

@inproceedings{LeueMayrWei, Author = {Leue, Stefan and Mayr, Richard and Wei, Wei}, BookTitle = {Proc. of TACAS'04}, File = {A Scalable Incomplete Test for the Boundedness of UML RT Models - Leue, Mayr, Wei (0) (0) - a - a - u.pdf}, Keywords = {communicating automata and boundedness}, Pages = {327--341}, Publisher = {Springer Berlin / Heidelberg}, Series = {LNCS}, Title = {A Scalable Incomplete Test for the Boundedness of UML RT Models}, Volume = {2988}, Year = {2004}, bdsk-url-1 = {http://www.springerlink.com/content/dbam0km6r0mp0k8y/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-24730-2_26}, date-added = {2012-06-02 11:27:55 +0200}, date-modified = {2014-01-03 10:16:33 +0000}, file-2 = {A Scalable Incomplete Test for the Boundedness of UML RT Models - Leue, Mayr, Wei (1) (0) - a - a - u.pdf}, doi = {10.1007/978-3-540-24730-2_26} }