Works matching IS 01290541 AND DT 2006 AND VI 17 AND IP 4
Results: 16
A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 833, doi. 10.1142/S0129054106004133
- By:
- Publication type:
- Article
PREFACE.
- Published in:
- International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 731, doi. 10.1142/S0129054106004066
- By:
- Publication type:
- Article
MOLECULAR MODEL CHECKING.
- Published in:
- International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 733, doi. 10.1142/S0129054106004078
- By:
- Publication type:
- Article
ENFORCING CONCURRENT TEMPORAL BEHAVIORS.
- Published in:
- International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 743, doi. 10.1142/S012905410600408X
- By:
- Publication type:
- Article
CONTROLLABILITY AND COOPERATIVENESS ANALYSIS FOR AUTOMATIC ABSTRACTION REFINEMENT.
- Published in:
- International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 763, doi. 10.1142/S0129054106004091
- By:
- Publication type:
- Article
SAT-BASED MODEL CHECKING FOR REGION AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 775, doi. 10.1142/S0129054106004108
- By:
- Publication type:
- Article
EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS.
- Published in:
- International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 815, doi. 10.1142/S0129054106004121
- By:
- Publication type:
- Article
BÜCHI COMPLEMENTATION MADE TIGHTER.
- Published in:
- International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 851, doi. 10.1142/S0129054106004145
- By:
- Publication type:
- Article
TYPENESS FOR ω-REGULAR AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 869, doi. 10.1142/S0129054106004157
- By:
- Publication type:
- Article
HYBRID SYSTEM VERIFICATION IS NOT A SINECURE — THE ELECTRONIC THROTTLE CONTROL CASE STUDY.
- Published in:
- International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 885, doi. 10.1142/S0129054106004169
- By:
- Publication type:
- Article
CONFLICTS AND FAIR TESTING.
- Published in:
- International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 797, doi. 10.1142/S012905410600411X
- By:
- Publication type:
- Article
ALGORITHMS FOR POINT SET MATCHING WITH k-DIFFERENCES.
- Published in:
- International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 903, doi. 10.1142/S0129054106004170
- By:
- Publication type:
- Article
QUANTUM OCTAL GAMES.
- Published in:
- International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 919, doi. 10.1142/S0129054106004182
- By:
- Publication type:
- Article
SORTING SIGNED PERMUTATIONS BY FIXED-LENGTH REVERSALS.
- Published in:
- International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 933, doi. 10.1142/S0129054106004194
- By:
- Publication type:
- Article
COVERING OF TRANSIENT SIMULATION OF FEEDBACK-FREE CIRCUITS BY BINARY ANALYSIS.
- Published in:
- International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 949
- By:
- Publication type:
- Article
SPIKE TRAINS IN SPIKING NEURAL P SYSTEMS.
- Published in:
- International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 975, doi. 10.1142/S0129054106004212
- By:
- Publication type:
- Article