[Lecture Notes in Computer Science] ModelEd, TestEd, TrustEd Volume 10500 || Against All Odds: When Logic Meets Probability
Katoen, Joost-Pieter, Langerak, Rom, Rensink, ArendVolume:
10.1007/97
Year:
2017
Language:
english
DOI:
10.1007/978-3-319-68270-9_12
File:
PDF, 188 KB
english, 2017