Search results for: René Rydhof Hansen
Concurrency and Computation: Practice and Experience > 29 > 22 > n/a - n/a
Information Systems Frontiers > 2016 > 18 > 5 > 909-925
Lecture Notes in Computer Science > Static Analysis > Concurrency > 134-148
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Constraint Solving > 251-265
Lecture Notes in Computer Science > NASA Formal Methods > Tool Papers > 487-493
Science of Computer Programming > 2014 > 92 > Part A > 25-55
Science of Computer Programming > 2014 > 91 > Part B > 141-160
Innovations in Systems and Software Engineering > 2013 > 9 > 1 > 17-28
Software: Practice and Experience > 43 > 1 > 67 - 92