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