@dblp

Symbolic Causality Checking Using Bounded Model Checking.

, , , , und . SPIN, Volume 9232 von Lecture Notes in Computer Science, Seite 203-221. Springer, (2015)

Links und Ressourcen

Tags