Search results for: Lars -åke Fredlund
Software & Systems Modeling > 2019 > 18 > 1 > 71-105
Lecture Notes in Computer Science > Computer Aided Systems Theory – EUROCAST 2007 > Applied Formal Verification > 539-546
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 246-262
Lecture Notes in Computer Science > Computer Aided Systems Theory - EUROCAST 2009 > Intelligent Information Processing > 263-270
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The PROTEST Project > 250-271
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > ETAPS Tool Demonstration > 582-585
Lecture Notes in Computer Science > Testing – Practice and Research Techniques > Full Papers > 23-38
Lecture Notes in Computer Science > Computer Aided Systems Theory – EUROCAST 2005 > Intelligent Information Systems > 140-149
Lecture Notes in Computer Science > Advances in Computing Science — ASIAN’99 > Regular Papers > 87-100
Electronic Notes in Theoretical Computer Science > 2011 > 271 > Complete > 23-40