Search results for: D. Janin
Annals of Nuclear Energy > 2017 > 110 > C > 1023-1029
Annals of Nuclear Energy > 2017 > 105 > C > 361-368
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 1999 > Logic > 310-320
Fundamenta Informaticae > 2015 > Vol. 141, nr 4 > 311--343
Fundamenta Informaticae > 2004 > Vol. 61, nr 3,4 > 247--265