Works matching IS 01290541 AND DT 2003 AND VI 14 AND IP 4

Results: 9

On Reasoning About Rings.

Published in:

International Journal of Foundations of Computer Science, 2003, v. 14, n. 4, p. 527, doi. 10.1142/S0129054103001881

By:

Emerson, E. Allen;
Namjoshi, Kedar S.

Publication type:

Article

A Generic Approach to the Static Analysis of Concurrent Programs with Procedures.

Published in:

International Journal of Foundations of Computer Science, 2003, v. 14, n. 4, p. 551, doi. 10.1142/S0129054103001893

By:

Bouajjani, Ahmed;
Esparza, Javier;
Touili, Tayssir

Publication type:

Article

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems.

Published in:

International Journal of Foundations of Computer Science, 2003, v. 14, n. 4, p. 583, doi. 10.1142/S012905410300190X

By:

Clarke, Edmund;
Fehnker, Angsar;
Han, Zhi;
Krogh, Bruce;
Ouaknine, Joël;
Strusberg, Olaf;
Theobald, Michael

Publication type:

Article

Efficient Symbolic Representations for Arithmetic Constraints in Verification.

Published in:

International Journal of Foundations of Computer Science, 2003, v. 14, n. 4, p. 605, doi. 10.1142/S0129054103001911

By:

Bartzis, Constantinos;
Bultan, Tevfik

Publication type:

Article

A Logical Characterisation of Event Clock Automata.

Published in:

International Journal of Foundations of Computer Science, 2003, v. 14, n. 4, p. 625, doi. 10.1142/S0129054103001923

By:

D'Souza, Deepak

Publication type:

Article

A Completely Verified Realistic Bootstrap Compiler.

Published in:

International Journal of Foundations of Computer Science, 2003, v. 14, n. 4, p. 659, doi. 10.1142/S0129054103001947

By:

Bold, Axel;
Von Henke, Friedrich;
Goerigk, Wolfgang

Publication type:

Article

Distributed ω-Automata.

Published in:

International Journal of Foundations of Computer Science, 2003, v. 14, n. 4, p. 681, doi. 10.1142/S0129054103001959

By:

Krithivasan, Kamala;
Sharda, K.;
Varma, Sandeep V.

Publication type:

Article

The Equivalence Problem of Finite Substitutions on ab*c, with Applications.

Published in:

International Journal of Foundations of Computer Science, 2003, v. 14, n. 4, p. 699

By:

Karhumäki, J.;
Lisovik, L. P.

Publication type:

Article

Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties.

Published in:

International Journal of Foundations of Computer Science, 2003, v. 14, n. 4, p. 641, doi. 10.1142/S0129054103001935

By:

Jiao, Li;
Cheung, To-yat

Publication type:

Article