|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane |
Metrics for weighted transition systems: Axiomatization and complexity.  |
Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen |
Distances for Weighted Transition Systems: Games and Properties |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane |
Model-Based Verification and Analysis for Real-Time Systems. |
Software and Systems Safety - Specification and Verification |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane |
Timed Automata Can Always Be Made Implementable. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane |
Quantitative Refinement for Weighted Modal Transition Systems. |
MFCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Axel Legay, Claus R. Thrane |
The Quantitative Linear-Time--Branching-Time Spectrum. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus R. Thrane, Uli Fahrenberg, Kim G. Larsen |
Quantitative analysis of weighted transition systems. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane |
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane |
A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. |
MEMICS |
2009 |
DBLP BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")