default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/eef/eef2000.bht:"
download as .bib file
@proceedings{DBLP:conf/eef/2000,
editor = {Ed Brinksma and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Lectures on Formal Methods and Performance Analysis, First EEF/Euro
Summer School on Trends in Computer Science, Berg en Dal, The Netherlands,
July 3-7, 2000, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2090},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44667-2},
doi = {10.1007/3-540-44667-2},
isbn = {3-540-42479-2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/Balbo00,
author = {Gianfranco Balbo},
editor = {Ed Brinksma and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Introduction to Stochastic Petri Nets},
booktitle = {Lectures on Formal Methods and Performance Analysis, First EEF/Euro
Summer School on Trends in Computer Science, Berg en Dal, The Netherlands,
July 3-7, 2000, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2090},
pages = {84--155},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44667-2\_3},
doi = {10.1007/3-540-44667-2\_3},
timestamp = {Sat, 30 Sep 2023 09:39:42 +0200},
biburl = {https://dblp.org/rec/conf/eef/Balbo00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/BrinksmaH00,
author = {Ed Brinksma and
Holger Hermanns},
editor = {Ed Brinksma and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Process Algebra and Markov Chains},
booktitle = {Lectures on Formal Methods and Performance Analysis, First EEF/Euro
Summer School on Trends in Computer Science, Berg en Dal, The Netherlands,
July 3-7, 2000, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2090},
pages = {183--231},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44667-2\_5},
doi = {10.1007/3-540-44667-2\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/BrinksmaH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/Ciardo00,
author = {Gianfranco Ciardo},
editor = {Ed Brinksma and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Distributed and Structured Analysis Approaches to Study Large and
Complex Systems},
booktitle = {Lectures on Formal Methods and Performance Analysis, First EEF/Euro
Summer School on Trends in Computer Science, Berg en Dal, The Netherlands,
July 3-7, 2000, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2090},
pages = {344--374},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44667-2\_10},
doi = {10.1007/3-540-44667-2\_10},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eef/Ciardo00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/German00,
author = {Reinhard German},
editor = {Ed Brinksma and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Non-Markovian Analysis},
booktitle = {Lectures on Formal Methods and Performance Analysis, First EEF/Euro
Summer School on Trends in Computer Science, Berg en Dal, The Netherlands,
July 3-7, 2000, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2090},
pages = {156--182},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44667-2\_4},
doi = {10.1007/3-540-44667-2\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/German00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/Haverkort00,
author = {Boudewijn R. Haverkort},
editor = {Ed Brinksma and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Markovian Models for Performance and Dependability Evaluation},
booktitle = {Lectures on Formal Methods and Performance Analysis, First EEF/Euro
Summer School on Trends in Computer Science, Berg en Dal, The Netherlands,
July 3-7, 2000, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2090},
pages = {38--83},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44667-2\_2},
doi = {10.1007/3-540-44667-2\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/Haverkort00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/Herzog00,
author = {Ulrich Herzog},
editor = {Ed Brinksma and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Formal Methods for Performance Evaluation},
booktitle = {Lectures on Formal Methods and Performance Analysis, First EEF/Euro
Summer School on Trends in Computer Science, Berg en Dal, The Netherlands,
July 3-7, 2000, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2090},
pages = {1--37},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44667-2\_1},
doi = {10.1007/3-540-44667-2\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/Herzog00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/Hillston00,
author = {Jane Hillston},
editor = {Ed Brinksma and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Exploiting Structure in Solution: Decomposing Compositional Models},
booktitle = {Lectures on Formal Methods and Performance Analysis, First EEF/Euro
Summer School on Trends in Computer Science, Berg en Dal, The Netherlands,
July 3-7, 2000, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2090},
pages = {278--314},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44667-2\_8},
doi = {10.1007/3-540-44667-2\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/Hillston00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/KatoenD00,
author = {Joost{-}Pieter Katoen and
Pedro R. D'Argenio},
editor = {Ed Brinksma and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {General Distributions in Process Algebra},
booktitle = {Lectures on Formal Methods and Performance Analysis, First EEF/Euro
Summer School on Trends in Computer Science, Berg en Dal, The Netherlands,
July 3-7, 2000, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2090},
pages = {375--430},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44667-2\_11},
doi = {10.1007/3-540-44667-2\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/KatoenD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/SandersM00,
author = {William H. Sanders and
John F. Meyer},
editor = {Ed Brinksma and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Stochastic Activity Networks: Formal Definitions and Concepts},
booktitle = {Lectures on Formal Methods and Performance Analysis, First EEF/Euro
Summer School on Trends in Computer Science, Berg en Dal, The Netherlands,
July 3-7, 2000, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2090},
pages = {315--343},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44667-2\_9},
doi = {10.1007/3-540-44667-2\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/SandersM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/Segala00,
author = {Roberto Segala},
editor = {Ed Brinksma and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Verification of Randomized Distributed Algorithms},
booktitle = {Lectures on Formal Methods and Performance Analysis, First EEF/Euro
Summer School on Trends in Computer Science, Berg en Dal, The Netherlands,
July 3-7, 2000, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2090},
pages = {232--260},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44667-2\_6},
doi = {10.1007/3-540-44667-2\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/Segala00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/Wolper00,
author = {Pierre Wolper},
editor = {Ed Brinksma and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Constructing Automata from Temporal Logic Formulas: {A} Tutorial},
booktitle = {Lectures on Formal Methods and Performance Analysis, First EEF/Euro
Summer School on Trends in Computer Science, Berg en Dal, The Netherlands,
July 3-7, 2000, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2090},
pages = {261--277},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44667-2\_7},
doi = {10.1007/3-540-44667-2\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eef/Wolper00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2025-01-19 13:59 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
