> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Model-checking fair dense-time systems with propositions and events Beteiligte: Wang, Farn Erschienen: Springer Science and Business Media LLC, 2015 Erschienen in: International Journal on Software Tools for Technology Transfer Sprache: Englisch DOI: 10.1007/s10009-014-0312-7 ISSN: 1433-2779; 1433-2787 Schlagwörter: Information Systems ; Software Entstehung: Anmerkungen: