I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Let this Graph Be Your Witness!: An Attestor for Verifying ..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Arndt, Hannah ; Jansen, Christina ; Katoen, Joost-Pieter.. - p. 3-11 , 2018
Link: https://doi.org/10.1007/978-3-319-96142-2_1