|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Fuad Abujarad, Sandeep S. Kulkarni |
Weakest Invariant Generation for Automated Addition of Fault-Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LAFT@LICS ![In: Proceedings of the Workshop on Logical Aspects of Fault Tolerance, LAFT@LICS 2009, Los Angeles, CA, USA, August 15, 2009, pp. 3-15, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Leo Marcus |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LAFT@LICS ![In: Proceedings of the Workshop on Logical Aspects of Fault Tolerance, LAFT@LICS 2009, Los Angeles, CA, USA, August 15, 2009, pp. 1-2, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pablo F. Castro, T. S. E. Maibaum |
Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LAFT@LICS ![In: Proceedings of the Workshop on Logical Aspects of Fault Tolerance, LAFT@LICS 2009, Los Angeles, CA, USA, August 15, 2009, pp. 17-34, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Joseph F. Fitzsimons, Jason Twamley |
Quantum Fault Tolerance in Systems with Restricted Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LAFT@LICS ![In: Proceedings of the Workshop on Logical Aspects of Fault Tolerance, LAFT@LICS 2009, Los Angeles, CA, USA, August 15, 2009, pp. 35-49, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Leo Marcus (eds.) |
Proceedings of the Workshop on Logical Aspects of Fault Tolerance, LAFT@LICS 2009, Los Angeles, CA, USA, August 15, 2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LAFT@LICS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|