@dblp

Discretising and testing timed contextual models.

, and . Int. J. Comput. Appl. Technol., 54 (2): 121-137 (2016)

Links and resources

Tags