Journal of Logic and Algebraic Programming

ISSNs: 1567-8326

Elsevier BV North-Holland, Netherlands

Central database

Journal

Publications

(9)

Published
Consistency and Refinement for Interval Markov Chains
Publication: Research - peer-review › Journal article
Published
Modal Transition Systems with Weight Intervals
Publication: Research - peer-review › Journal article
Published
Reachability analysis for timed automata using max-plus algebra
Publication: Research - peer-review › Journal article

ID: 15797640