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 ORCID: 0000-0002-0875-3862 and Schewe, Sven ORCID: 0000-0002-9093-9518
(2013) Combined model checking for temporal, probabilistic, and real-time logics. THEORETICAL COMPUTER SCIENCE, 503. 61 - 88.

This list was generated on Tue Nov 3 02:19:57 2020 GMT.