Foundations of Software Science and Computational Structures
From MaRDI portal
Publication:5705878
DOI10.1007/b106850zbMath1118.68527OpenAlexW1588712707MaRDI QIDQ5705878
Jacob Illum Rasmussen, Kim Guldstrand Larsen
Publication date: 10 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106850
Related Items (10)
Weight Assignment Logic ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ A Kleene-Schützenberger theorem for weighted timed automata ⋮ Extended beam search for non-exhaustive state space analysis ⋮ Infinite Runs in Weighted Timed Automata with Energy Constraints ⋮ Multi-weighted automata and MSO logic ⋮ Optimal reachability for multi-priced timed automata ⋮ On model-checking timed automata with stopwatch observers ⋮ A Kleene-Schützenberger Theorem for Weighted Timed Automata ⋮ Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata
Uses Software
This page was built for publication: Foundations of Software Science and Computational Structures
