Parker, David
182  Ergebnisse:
?
3

Formal Modeling and Analysis of Timed Systems: 20th Interna.. 

Lecture Notes in Computer Science, 13465
Bogomolov, Sergiy ; Parker, David - 1st ed. 2022 . , 2022
 
?
4

Tools and Algorithms for the Construction and Analysis of S.. 

Theoretical Computer Science and General Issues, 12079
Biere, Armin ; Parker, David - 1st ed. 2020 . , 2020
 
?
5

Tools and Algorithms for the Construction and Analysis of S.. 

Theoretical Computer Science and General Issues, 12078
Biere, Armin ; Parker, David - 1st ed. 2020 . , 2020
 
?
6

Quantitative Evaluation of Systems: 16th International Conf.. 

Theoretical Computer Science and General Issues, 11785
Parker, David ; Wolf, Verena - 1st ed. 2019 . , 2019
 
?
7

The Self in Moral Space 

Life Narrative and the Good 
Parker, David , [2018]
 
1-15