Model checking on timed-event structures
โ
Dasgupta, P.; Deka, J.K.; Chakrabarti, P.P.
๐
Article
๐
2000
๐
IEEE
๐
English
โ 260 KB