Search results for: Henrik Björklund
Lecture Notes in Computer Science > Perspectives of System Informatics > Verification and Model Checking > 381-394
Acta Informatica > 2018 > 55 > 1 > 17-56
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2008 > Contributed Papers > 132-143
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2004 > Games > 673-685
Lecture Notes in Computer Science > Model-Based Testing of Reactive Systems > Testing of Finite State Machines > 69-86
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Regular Papers > 142-154
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2007 > Words and Graphs > 750-761
Lecture Notes in Computer Science > STACS 2003 > Contributed Papers > 663-674
Theoretical Computer Science > 2014 > 557 > Complete > 87-100
Theoretical Computer Science > 2013 > 489-490 > Complete > 1-20
Journal of Computer and System Sciences > 2012 > 78 > 1 > 198-210
Journal of Computer and System Sciences > 2011 > 77 > 3 > 450-472
Theoretical Computer Science > 2010 > 411 > 4-5 > 702-715
Discrete Applied Mathematics > 2007 > 155 > 2 > 210-229
Theoretical Computer Science > 2005 > 349 > 3 > 347-360