Search results for: P.-C. Heam
Concurrency and Computation: Practice and Experience > 29 > 15 > n/a - n/a
Information Processing Letters > 2017 > 118 > C > 6-9
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Model Checking > 153-167
Theoretical Computer Science > 2011 > 412 > 41 > 5808-5813
Electronic Notes in Theoretical Computer Science > 2010 > 263 > Complete > 31-46
Electronic Notes in Theoretical Computer Science > 2008 > 223 > Complete > 61-70
Information Processing Letters > 2008 > 108 > 4 > 242-246
Information Processing Letters > 2008 > 108 > 1 > 1-2
Theoretical Computer Science > 2003 > 299 > 1-3 > 735-741