Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "European Educational Forum: School on Formal Methods and Performance Analysis"( http://dblp.L3S.de/Venues/European_Educational_Forum:_School_on_Formal_Methods_and_Performance_Analysis )

URL (DBLP): http://dblp.uni-trier.de/db/conf/eef

Publication years (Num. hits)
2000 (11)
Publication types (Num. hits)
inproceedings(11)
Venues (Conferences, Journals, ...)
European Educational Forum: Sc...(11)
Authors
Boudewijn R. Haverkort(1) Ed Brinksma(1) Gianfranco Balbo(1) Gianfranco Ciardo(1) Holger Hermanns(1) Jane Hillston(1) John F. Meyer(1) Joost-Pieter Katoen(1) Pedro R. D'Argenio(1) Pierre Wolper(1) Reinhard German(1) Roberto Segala(1) Ulrich Herzog(1) William H. Sanders(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1William H. Sanders, John F. Meyer Stochastic Activity Networks: Formal Definitions and Concepts. Search on Bibsonomy European Educational Forum: School on Formal Methods and Performance Analysis The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Pierre Wolper Constructing Automata from Temporal Logic Formulas: A Tutorial. Search on Bibsonomy European Educational Forum: School on Formal Methods and Performance Analysis The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Ulrich Herzog Formal Methods for Performance Evaluation. Search on Bibsonomy European Educational Forum: School on Formal Methods and Performance Analysis The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Reinhard German Non-Markovian Analysis. Search on Bibsonomy European Educational Forum: School on Formal Methods and Performance Analysis The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jane Hillston Exploiting Structure in Solution: Decomposing Compositional Models. Search on Bibsonomy European Educational Forum: School on Formal Methods and Performance Analysis The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Joost-Pieter Katoen, Pedro R. D'Argenio General Distributions in Process Algebra. Search on Bibsonomy European Educational Forum: School on Formal Methods and Performance Analysis The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Roberto Segala Verification of Randomized Distributed Algorithms. Search on Bibsonomy European Educational Forum: School on Formal Methods and Performance Analysis The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Ed Brinksma, Holger Hermanns Process Algebra and Markov Chains. Search on Bibsonomy European Educational Forum: School on Formal Methods and Performance Analysis The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Gianfranco Balbo Introduction to Stochastic Petri Nets. Search on Bibsonomy European Educational Forum: School on Formal Methods and Performance Analysis The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Boudewijn R. Haverkort Markovian Models for Performance and Dependability Evaluation. Search on Bibsonomy European Educational Forum: School on Formal Methods and Performance Analysis The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Gianfranco Ciardo Distributed and Structured Analysis Approaches to Study Large and Complex Systems. Search on Bibsonomy European Educational Forum: School on Formal Methods and Performance Analysis The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.