Browse by People

Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 1.


Konur, Savas, Fisher, Michael and Schewe, Sven ORCID: 0000-0002-9093-9518 (2013) Combined model checking for temporal, probabilistic, and real-time logics. THEORETICAL COMPUTER SCIENCE, 503. pp. 61-88.

This list was generated on Sat Dec 16 23:44:01 2023 GMT.