Attaining a more Flexible and Manageable Discretization for Complex Timed Systems

TitleAttaining a more Flexible and Manageable Discretization for Complex Timed Systems
Publication TypeMiscellaneous
Year of Publication2012
AuthorsBonifácio A L, Moura AV