Works matching IS 01290541 AND DT 2010 AND VI 21 AND IP 2
Results: 7
PREFACE.
- Published in:
- International Journal of Foundations of Computer Science, 2010, v. 21, n. 2, p. 113, doi. 10.1142/S0129054110007167
- By:
- Publication type:
- Article
COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES.
- Published in:
- International Journal of Foundations of Computer Science, 2010, v. 21, n. 2, p. 115, doi. 10.1142/S0129054110007179
- By:
- Publication type:
- Article
ON THE EFFICIENT COMPUTATION OF THE MINIMAL COVERABILITY SET OF PETRI NETS.
- Published in:
- International Journal of Foundations of Computer Science, 2010, v. 21, n. 2, p. 135, doi. 10.1142/S0129054110007180
- By:
- Publication type:
- Article
LATTICED SIMULATION RELATIONS AND GAMES.
- Published in:
- International Journal of Foundations of Computer Science, 2010, v. 21, n. 2, p. 167, doi. 10.1142/S0129054110007192
- By:
- Publication type:
- Article
ANALOG/MIXED-SIGNAL CIRCUIT VERIFICATION USING MODELS GENERATED FROM SIMULATION TRACES.
- Published in:
- International Journal of Foundations of Computer Science, 2010, v. 21, n. 2, p. 191, doi. 10.1142/S0129054110007209
- By:
- Publication type:
- Article
QUANTIFYING THE DISCORD:: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS.
- Published in:
- International Journal of Foundations of Computer Science, 2010, v. 21, n. 2, p. 211, doi. 10.1142/S0129054110007210
- By:
- Publication type:
- Article
CONTINUOUS PETRI NETS:: EXPRESSIVE POWER AND DECIDABILITY ISSUES.
- Published in:
- International Journal of Foundations of Computer Science, 2010, v. 21, n. 2, p. 235, doi. 10.1142/S0129054110007222
- By:
- Publication type:
- Article