Search results for: André Arnold
Surface and Interface Analysis > 55 > 6-7 > 507 - 514
Fundamenta Informaticae > 2022 > Vol. 186, nr 1-4 > 27--44
Lecture Notes in Computer Science > FME'96: Industrial Benefit and Advances in Formal Methods > 649-661
Lecture Notes in Computer Science > STACS 94 > 325-338
Lecture Notes in Computer Science > TAPSOFT'93: Theory and Practice of Software Development > 121-135
Lecture Notes in Computer Science > Automatic Verification Methods for Finite State Systems > 117-132
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 70-86
Theory of Computing Systems > 2014 > 55 > 4 > 833-855
German Journal of Exercise and Sport Research > 2010 > 40 > 2 > 103-109
2008 IEEE Nuclear Science Symposium Conference Record > 3066 - 3069
Theoretical Computer Science > 2005 > 333 > 1-2 > 265-296
Theoretical Computer Science > 2002 > 281 > 1-2 > 31-36
Science of Computer Programming > 1997 > 28 > 2-3 > 93-110
Journal of Parallel and Distributed Computing > 1996 > 34 > 1 > 1-13
Theoretical Computer Science > 1996 > 156 > 1-2 > 289-299