Time-Bounded Verification (Q3184695): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/978-3-642-04081-8_33 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1523732197 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4036557 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theory of timed automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: The benefits of relaxing punctuality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Event-clock automata: a determinizable class of timed automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Real-time logics: Complexity and expressiveness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hybrid Systems: Computation and Control / rank
 
Normal rank
Property / cites work
 
Property / cites work: Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Expressiveness and Complexity in Real-Time Model Checking / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hybrid Systems: Computation and Control / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4953389 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4251916 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Timed automata and recognizability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Future temporal logic needs infinitely many modalities / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4824483 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Expressiveness of Metric modalities for continuous time / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Theory of Timed I/O Automata, Second Edition / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantitative temporal logics over the reals: PSpace and below / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using mappings to prove timing properties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4472226 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Time-Bounded Verification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4418006 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the decidability and complexity of Metric Temporal Logic over finite words / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tools and Algorithms for the Construction and Analysis of Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite variability interpretation of monadic logic of order / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of temporal logic over the reals / rank
 
Normal rank
Property / cites work
 
Property / cites work: The monadic theory of order / rank
 
Normal rank

Latest revision as of 01:38, 2 July 2024

scientific article
Language Label Description Also known as
English
Time-Bounded Verification
scientific article

    Statements

    Time-Bounded Verification (English)
    0 references
    0 references
    0 references
    0 references
    22 October 2009
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references