Foundations of Software Science and Computational Structures
From MaRDI portal
Publication:5705878
DOI10.1007/b106850zbMath1118.68527MaRDI QIDQ5705878
Kim Guldstrand Larsen, Jacob Illum Rasmussen
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
68Q45: Formal languages and automata
Related Items
A Kleene-Schützenberger Theorem for Weighted Timed Automata, Multi-weighted automata and MSO logic, A Kleene-Schützenberger theorem for weighted timed automata, Extended beam search for non-exhaustive state space analysis, Optimal reachability for multi-priced timed automata, On model-checking timed automata with stopwatch observers, Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems, Weight Assignment Logic, Infinite Runs in Weighted Timed Automata with Energy Constraints, Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata
Uses Software