Search results
Software & Systems Modeling > 2015 > 14 > 2 > 711-717
Annals of Mathematics and Artificial Intelligence > 2010 > 59 > 1 > 81-106
Formal Aspects of Computing > 2010 > 22 > 6 > 713-733
Electronic Notes in Theoretical Computer Science > 2009 > 250 > 2 > 3-18
2008 45th ACM/IEEE Design Automation Conference > 149 - 154
Electronic Notes in Theoretical Computer Science > 2007 > 185 > Complete > 63-76
Electronic Notes in Theoretical Computer Science > 2005 > 128 > 6 > 161-177
Automated Software Engineering > 2003 > 10 > 2 > 203-232
Formal Methods in System Design > 1999 > 14 > 3 > 273-310