Research output per year
Research output per year
Search results
-
2017
Abstractions for transition systems with applications to stubborn sets
Hansen, H., 1 Jan 2017, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Gibson-Robinson, T., Hopcroft, P. & Lazić, R. (eds.). Springer International Publishing, p. 104-123 20 p. (Lecture Notes in Computer Science; vol. 10160).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific