By Smolka G.   in Journal of Symbolic Computation

ISSN:0747-7171|25|4|395-395

Academic Press‎(1998)‎

Access to resources Favorite 13.980709

By Podelski A.   Smolka G.   in Theoretical Computer Science

ISSN:0304-3975|173|1|235-252

Elsevier‎(1997)‎

Access to resources Favorite 11.66157

By Backofen R.   Smolka G.   in Theoretical Computer Science

ISSN:0304-3975|146|1|243-268

Elsevier‎(1995)‎

Access to resources Favorite 10.866566

By Dilthey U.   Brandenburg A.   Smolka G.   in Microsystem Technologies

ISSN:0946-7076|10|3|247-251

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 8.547427

By Smolka G.   Gillner A.   Bosse L.   Lützeler R.   in Microsystem Technologies

ISSN:0946-7076|10|3|187-192

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 6.9903545