Search results for: Norbert Th. Muller
IEEE Transactions on Software Engineering > 2017 > 43 > 10 > 975 - 994
Lecture Notes in Computer Science > Computability and Complexity in Analysis > Computability and Complexity in Analysis > 222-252
Electronic Notes in Theoretical Computer Science > 2008 > 221 > Complete > 191-206
Theoretical Computer Science > 1999 > 219 > 1-2 > 287-299