Works matching IS 01290541 AND DT 2007 AND VI 18 AND IP 1
Results: 9
VERIFYING VERY LARGE INDUSTRIAL CIRCUITS USING 100 PROCESSES AND BEYOND.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 1, p. 45, doi. 10.1142/S0129054107004565
- By:
- Publication type:
- Article
PREFACE.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 1, p. 1, doi. 10.1142/S0129054107004541
- By:
- Publication type:
- Article
MODULAR RANKING ABSTRACTION.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 1, p. 5, doi. 10.1142/S0129054107004553
- By:
- Publication type:
- Article
THE D0L ω-EQUIVALENCE PROBLEM.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 1, p. 181, doi. 10.1142/S0129054107004620
- By:
- Publication type:
- Article
GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 1, p. 63, doi. 10.1142/S0129054107004577
- By:
- Publication type:
- Article
UPDATE-EFFICIENT DATA STRUCTURES FOR DYNAMIC IP ROUTER TABLES.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 1, p. 139, doi. 10.1142/S0129054107004607
- By:
- Publication type:
- Article
MINIMAL COOPERATION IN SYMPORT/ANTIPORT TISSUE P SYSTEMS.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 1, p. 163, doi. 10.1142/S0129054107004619
- By:
- Publication type:
- Article
REASONING ABOUT TRANSFINITE SEQUENCES.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 1, p. 87, doi. 10.1142/S0129054107004589
- By:
- Publication type:
- Article
SEMI-AUTOMATIC DISTRIBUTED SYNTHESIS.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 1, p. 113, doi. 10.1142/S0129054107004590
- By:
- Publication type:
- Article