skip to main content
Primo Advanced Search
Advanced search    Note: Search terms must be in lower case
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Date range searching is not available for Article, Issue and Archived Website records; nor does it work for Audio records.

6 results  for Everything in this catalogue

Refined by: creation date: 2000To2009 remove journal title: Journal on data semantics. remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Article
Add to My workspace

B2M: A Semantic Based Tool for BLIF Hardware Descriptions

Basin, D. Friedrich, S. Modersheim, S.

Springer-Verlag; 1999 (pages 91-107) -- 2000

Check library holdings

2
Material Type:
Article
Add to My workspace

Verified Bytecode Model Checkers

Basin, D. Friedrich, S. Gawkowski, M.; Tahar, S.

Springer-Verlag; 1999 (pages 47-66) -- 2002

Check library holdings

3
Material Type:
Article
Add to My workspace

B2M: A Semantic Based Tool for BLIF Hardware Descriptions

Basin, D. Friedrich, S. Modersheim, S.; Johnson, S. D.

Journal on data semantics.; Formal methods in computer-aided design; Austin, TX, 2000; Nov, 2000, 91-107 -- Springer; 2000 (pages 91-107) -- 2000

Check library holdings

4
Material Type:
Article
Add to My workspace

Bytecode Model Checking: An Experimental Analysis

Basin, D. Friedrich, S. Gawkowski, M. Posegga, J.; Leue, S.

Springer-Verlag; 1999 (pages 42-59) -- 2002

Check library holdings

5
Material Type:
Article
Add to My workspace

Verified Bytecode Model Checkers

Basin, D. Friedrich, S. Gawkowski, M.; Tahar, S.

Journal on data semantics.; TPHOLs 2002; Theorem proving in higher order logics; Hampton, VA, 2002; Aug, 2002, 47-66 -- New York; Springer; 2002 (pages 47-66) -- 2002

Check library holdings

6
Material Type:
Article
Add to My workspace

Bytecode Model Checking: An Experimental Analysis

Basin, D. Friedrich, S. Gawkowski, M. Posegga, J.; Leue, S.

Journal on data semantics.; International SPIN Workshop; Model checking software; Grenoble, France, 2002; Apr, 2002, 42-59 -- Berlin; London; Springer; 2002 (pages 42-59) -- 2002

Check library holdings

6 results  for Everything in this catalogue

Searching Remote Databases, Please Wait