A Scalable Incomplete Test for the Boundedness of UML RT Models.

Stefan Leue, Richard Mayr, Wei Wei

Browse the full TACAS paper archive.