|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 10 keywords
|
|
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 93 | Charles Pecheur |
Advanced Modelling and Verification Techniques Applied to a Cluster File System.  |
ASE  |
1999 |
DBLP DOI BibTeX RDF |
Compositional Generation, XTL, Model Checking, Formal Method, Specification, Temporal Logic, Distributed File System, LOTOS |
| 80 | Makoto Onizuka |
XTL: An XML Transformation Language and XSLT generator for XTL. |
Extreme Markup Languages® |
2001 |
DBLP BibTeX RDF |
|
| 56 | Zoltán Ésik, Szabolcs Iván |
Games for Temporal Logics on Trees. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
| 40 | Jeremy W. Bryans, Carron Shankland |
Implementing a Modal Logic over Data and Processes using XTL. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
| 40 | Hideki Osaka, Toyohiko Komatsu, Susumu Hatano, Takeshi Wada |
High-speed, high-bandwidth DRAM memory bus with crosstalk transfer logic (XTL) interface. |
Hot Interconnects |
2001 |
DBLP DOI BibTeX RDF |
|
| 28 | Berndt Farwer, Michael Leuschel |
Model checking object petri nets in prolog. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
model checking, compilation, animation, prolog, object petri nets |
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license