Research output per year
Research output per year
Search results
-
2022
State Identification and Verification with Satisfaction
Moerman, J. & Wißmann, T., 7 Sept 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Nils Jansen, Mariëlle Stoelinga & Petra van den Bos (eds.). 1 ed. Springer, Vol. 13560. p. 450-466 17 p. (Lecture Notes in Computer Science, Vol. 13560).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review