![]() |
Parameterized Systems |
[Abdulla and Jonsson, 2003]![]() ![]() |
Parosh Aziz Abdulla and Bengt Jonsson (2003). Model checking of systems with many identical timed processes. In: Theoretical Computer Science, 290(1):241--264. |
[Abdulla et al., 2004]![]() ![]() |
Parosh Aziz Abdulla and Johann Deneux and Pritha Mahata (2004). Multi-Clock Timed Networks. In: Proc. LICS '04-20th IEEE Int. Symp. on Logic in Computer Science. pp. 345--354. |
[Abdulla, 2005]![]() ![]() |
Parosh Aziz Abdulla (2005). Verification of Parameterized Timed Systems. In: Proc. FORMATS'05, International Conference on Formal Modelling and Analysis of Timed Systems. |