Search results for: Thomas Ruhroth
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Specification, Verfication and Refinenment > 236-251
Science of Computer Programming > 2012 > 77 > 3 > 270-289
Electronic Notes in Theoretical Computer Science > 2009 > 259 > Complete > 193-205
Electronic Notes in Theoretical Computer Science > 2007 > 187 > Complete > 3-17