Works matching IS 01290541 AND DT 2009 AND VI 20 AND IP 5
Results: 11
PREFACE.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 5, p. 775, doi. 10.1142/S0129054109006875
- By:
- Publication type:
- Article
COMPOSITIONALITY AND REACHABILITY WITH CONDITIONS ON PATH LENGTHS.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 5, p. 851, doi. 10.1142/S0129054109006929
- By:
- Publication type:
- Article
SWITCHING GRAPHS.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 5, p. 869, doi. 10.1142/S0129054109006930
- By:
- Publication type:
- Article
THE LENGTH OF SUBSET REACHABILITY IN NONDETERMINISTIC AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 5, p. 887, doi. 10.1142/S0129054109006942
- By:
- Publication type:
- Article
MONOTONIC ABSTRACTION:: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 5, p. 779, doi. 10.1142/S0129054109006887
- By:
- Publication type:
- Article
THE COMPLEXITY OF SATISFIABILITY FOR FRAGMENTS OF CTL AND CTL⋆.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 5, p. 901, doi. 10.1142/S0129054109006954
- By:
- Publication type:
- Article
ON THE POWER OF COOPERATING MORPHISMS VIA REACHABILITY PROBLEMS.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 5, p. 803
- By:
- Publication type:
- Article
HANDLING NON LEFT-LINEAR RULES WHEN COMPLETING TREE AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 5, p. 837, doi. 10.1142/S0129054109006917
- By:
- Publication type:
- Article
AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 5, p. 819
- By:
- Publication type:
- Article
ON UNIFORMLY RECURRENT MORPHIC SEQUENCES.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 5, p. 919, doi. 10.1142/S0129054109006966
- By:
- Publication type:
- Article
MULTIPROCESSOR INTERCONNECTION NETWORKS WITH SMALL TIGHTNESS.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 5, p. 941
- By:
- Publication type:
- Article