Works matching IS 01290541 AND DT 2007 AND VI 18 AND IP 1

Results: 9

MODULAR RANKING ABSTRACTION.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 1, p. 5, doi. 10.1142/S0129054107004553

By:

BALABAN, ITTAI;
PNUELI, AMIR;
ZUCK, LENORE D.

Publication type:

Article

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:

FIX, LIMOR;
GRUMBERG, ORNA;
HEYMAN, AMNON;
HEYMAN, TAMIR;
SCHUSTER, ASSAF

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:

LAUER, TOBIAS;
OTTMANN, THOMAS;
DATTA, AMITAVA

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:

DEMRI, STÉPHANE;
NOWAK, DAVID

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:

DAMM, WERNER;
PINTO, GUILHERME;
RATSCHAN, STEFAN

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:

PELED, DORON A.;
TSAY, YIH-KUEN

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:

HONKALA, JUHA

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:

SCHEWE, SVEN;
FINKBEINER, BERND

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:

ALHAZOV, ARTIOM;
ROGOZHIN, YURII;
VERLAN, SERGEY

Publication type:

Article