default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/eef:"
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}
}
@proceedings{DBLP:conf/eef/1996,
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-65193-4},
doi = {10.1007/3-540-65193-4},
isbn = {3-540-65193-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/BhattS96,
author = {Devesh Bhatt and
John Shackleton},
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {A Design Notation and Toolset for High-Performance Embedded Systems
Development},
booktitle = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
pages = {249--267},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65193-4\_24},
doi = {10.1007/3-540-65193-4\_24},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/eef/BhattS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/Bourgonjon96,
author = {R. H. Bourgonjon},
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {Embedded Systems in Consumer Products},
booktitle = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
pages = {395--403},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65193-4\_30},
doi = {10.1007/3-540-65193-4\_30},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/Bourgonjon96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/Branicky96,
author = {Michael S. Branicky},
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {Analyzing and Synthesizing Hybrid Control Systems},
booktitle = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
pages = {74--113},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65193-4\_19},
doi = {10.1007/3-540-65193-4\_19},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/Branicky96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/ChenMB96,
author = {Deji Chen and
Aloysius K. Mok and
Sanjoy K. Baruah},
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {On Modeling Real-Time Task Systems},
booktitle = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
pages = {153--169},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65193-4\_21},
doi = {10.1007/3-540-65193-4\_21},
timestamp = {Mon, 01 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eef/ChenMB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/DouglassHT96,
author = {Bruce Powel Douglass and
David Harel and
Mark B. Trakhtenbrot},
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {Statecharts in Use: Structured Analysis and Object-Orientation},
booktitle = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
pages = {368--394},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65193-4\_29},
doi = {10.1007/3-540-65193-4\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/DouglassHT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/Hoogenhof96,
author = {Andr{\'{e}} van den Hoogenhof},
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {The Maturity of Object-Oriented Methodologies},
booktitle = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
pages = {268--303},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65193-4\_25},
doi = {10.1007/3-540-65193-4\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/Hoogenhof96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/Kars96,
author = {Pim Kars},
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {Formal Methods in the Design of s Storm Surge Barrier Control System},
booktitle = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
pages = {353--367},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65193-4\_28},
doi = {10.1007/3-540-65193-4\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/Kars96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/KestenMP96,
author = {Yonit Kesten and
Zohar Manna and
Amir Pnueli},
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {Verification of Clocked and Hybrid Systems},
booktitle = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
pages = {4--73},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65193-4\_18},
doi = {10.1007/3-540-65193-4\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/KestenMP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/Kuusela96,
author = {Juha Kuusela},
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {Object Oriented Development of Embedded Systems with the Octopus Method},
booktitle = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
pages = {304--315},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65193-4\_26},
doi = {10.1007/3-540-65193-4\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/Kuusela96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/Lann96,
author = {G{\'{e}}rard Le Lann},
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {Proof-Based System Engineering and Embedded Systems},
booktitle = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
pages = {208--248},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65193-4\_23},
doi = {10.1007/3-540-65193-4\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/Lann96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/RavnEHR96,
author = {Anders P. Ravn and
Thomas J. Eriksen and
Michael Holdgaard and
Hans Rischel},
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {Engineering of Real-Time Systems with an Experiment in Hybrid Control},
booktitle = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
pages = {316--352},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65193-4\_27},
doi = {10.1007/3-540-65193-4\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/RavnEHR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/RenA96,
author = {Shangping Ren and
Gul Agha},
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {A Modular Approach for Programming Embedded Systems},
booktitle = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
pages = {170--207},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65193-4\_22},
doi = {10.1007/3-540-65193-4\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/RenA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/Rietschote96,
author = {Hans F. van Rietschote},
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {The Long Road from Research to Telecommunication Applications},
booktitle = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
pages = {404--412},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65193-4\_31},
doi = {10.1007/3-540-65193-4\_31},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/Rietschote96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/Vaandrager96,
author = {Frits W. Vaandrager},
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {Introduction},
booktitle = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
pages = {1--3},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65193-4\_17},
doi = {10.1007/3-540-65193-4\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/Vaandrager96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/Veltmaat96,
author = {Freddie T. G. Veltmaat},
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {Development of Embedded Software at {ICT}},
booktitle = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
pages = {413--421},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65193-4\_32},
doi = {10.1007/3-540-65193-4\_32},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/Veltmaat96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/Yovine96,
author = {Sergio Yovine},
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {Model Checking Timed Automata},
booktitle = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
pages = {114--152},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65193-4\_20},
doi = {10.1007/3-540-65193-4\_20},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eef/Yovine96.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 2024-11-11 10:47 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:
