Journal of Logic and Algebraic Programming
ISSNs: 1567-8326
Elsevier BV North-Holland, Holland
Central database
Tidsskrift
Publikationer
(9)- Udgivet
Consistency and Refinement for Interval Markov Chains
Publikation: Forskning - peer review › Tidsskriftartikel
- Udgivet
Modal Transition Systems with Weight Intervals
Publikation: Forskning - peer review › Tidsskriftartikel
- Udgivet
Reachability analysis for timed automata using max-plus algebra
Publikation: Forskning - peer review › Tidsskriftartikel
ID: 15797640