Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/arts:"
download as .bib file
@proceedings{DBLP:conf/arts/2004,
editor = {Irek Ulidowski},
title = {Proceedings of the 6th {AMAST} Workshop on Real-Time Systems, {ARTS}
2004, Stirling, UK, July 12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {139},
number = {1},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/139/issue/1},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arts/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BlomGMS05,
author = {Stefan Blom and
Jan Friso Groote and
Sjouke Mauw and
Alexander Serebrenik},
editor = {Irek Ulidowski},
title = {Analysing the BKE-security Protocol with \emph{{\(\mathrm{\mu}\)}}CRL},
booktitle = {Proceedings of the 6th {AMAST} Workshop on Real-Time Systems, {ARTS}
2004, Stirling, UK, July 12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {139},
number = {1},
pages = {49--90},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.09.005},
doi = {10.1016/J.ENTCS.2005.09.005},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BlomGMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BowmanGS05,
author = {Howard Bowman and
Rodolfo G{\'{o}}mez and
Li Su},
editor = {Irek Ulidowski},
title = {A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata},
booktitle = {Proceedings of the 6th {AMAST} Workshop on Real-Time Systems, {ARTS}
2004, Stirling, UK, July 12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {139},
number = {1},
pages = {25--47},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.09.006},
doi = {10.1016/J.ENTCS.2005.09.006},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BowmanGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DonaldsonMC05a,
author = {Alastair F. Donaldson and
Alice Miller and
Muffy Calder},
editor = {Irek Ulidowski},
title = {Spin-to-Grape: {A} Tool for Analysing Symmetry in Promela Models},
booktitle = {Proceedings of the 6th {AMAST} Workshop on Real-Time Systems, {ARTS}
2004, Stirling, UK, July 12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {139},
number = {1},
pages = {3--23},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.09.007},
doi = {10.1016/J.ENTCS.2005.09.007},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DonaldsonMC05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FokkinkP05a,
author = {Wan J. Fokkink and
Jun Pang},
editor = {Irek Ulidowski},
title = {Formal Verification of Timed Systems Using Cones and Foci},
booktitle = {Proceedings of the 6th {AMAST} Workshop on Real-Time Systems, {ARTS}
2004, Stirling, UK, July 12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {139},
number = {1},
pages = {105--122},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.09.003},
doi = {10.1016/J.ENTCS.2005.09.003},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FokkinkP05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Guelev05,
author = {Dimitar P. Guelev},
editor = {Irek Ulidowski},
title = {Sharpening the Incompleteness of the Duration Calculus},
booktitle = {Proceedings of the 6th {AMAST} Workshop on Real-Time Systems, {ARTS}
2004, Stirling, UK, July 12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {139},
number = {1},
pages = {91--104},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.09.004},
doi = {10.1016/J.ENTCS.2005.09.004},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Guelev05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MizunoMKKAY05,
author = {Atsushi Mizuno and
Ken Mano and
Yoshinobu Kawabe and
Hiroaki Kuwabara and
Kiyoshi Agusa and
Shoji Yuen},
editor = {Irek Ulidowski},
title = {Name-passing style {GUI} programming in the \emph{pi}-calculus-based
language Nepi},
booktitle = {Proceedings of the 6th {AMAST} Workshop on Real-Time Systems, {ARTS}
2004, Stirling, UK, July 12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {139},
number = {1},
pages = {145--168},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.09.001},
doi = {10.1016/J.ENTCS.2005.09.001},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MizunoMKKAY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/QinW05,
author = {Guangping Qin and
Jinzhao Wu},
editor = {Irek Ulidowski},
title = {Action Refinement for Real-Time Concurrent Processes with Urgency},
booktitle = {Proceedings of the 6th {AMAST} Workshop on Real-Time Systems, {ARTS}
2004, Stirling, UK, July 12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {139},
number = {1},
pages = {123--144},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.09.002},
doi = {10.1016/J.ENTCS.2005.09.002},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/QinW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ulidowski05,
author = {Irek Ulidowski},
editor = {Irek Ulidowski},
title = {Preface},
booktitle = {Proceedings of the 6th {AMAST} Workshop on Real-Time Systems, {ARTS}
2004, Stirling, UK, July 12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {139},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.10.001},
doi = {10.1016/J.ENTCS.2005.10.001},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Ulidowski05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Andova99,
author = {Suzana Andova},
editor = {Joost{-}Pieter Katoen},
title = {Process Algebra with Probabilistic Choice},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {111--129},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_7},
doi = {10.1007/3-540-48778-6\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/arts/Andova99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/BaierE99,
author = {Christel Baier and
Bettina Engelen},
editor = {Joost{-}Pieter Katoen},
title = {Establishing Qualitative Properties for Probabilistic Lossy Channel
Systems: An Algorithmic Approach},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {34--52},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_3},
doi = {10.1007/3-540-48778-6\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/BaierE99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/BohnenkampH99,
author = {Henrik C. Bohnenkamp and
Boudewijn R. Haverkort},
editor = {Joost{-}Pieter Katoen},
title = {Semi-numerical Solution of Stochastic Process Algebra Models},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {228--243},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_14},
doi = {10.1007/3-540-48778-6\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/BohnenkampH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Bowman99,
author = {Howard Bowman},
editor = {Joost{-}Pieter Katoen},
title = {Modelling Timeouts without Timelocks},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {334--353},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_20},
doi = {10.1007/3-540-48778-6\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/Bowman99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/ClarkGH99,
author = {Graham Clark and
Stephen Gilmore and
Jane Hillston},
editor = {Joost{-}Pieter Katoen},
title = {Specifying Performance Measures for {PEPA}},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {211--227},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_13},
doi = {10.1007/3-540-48778-6\_13},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/ClarkGH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Hartonas-GarmhausenCC99,
author = {Vicky Hartonas{-}Garmhausen and
S{\'{e}}rgio Vale Aguiar Campos and
Edmund M. Clarke},
editor = {Joost{-}Pieter Katoen},
title = {ProbVerus: Probabilistic Symbolic Model Checking},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {96--110},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_6},
doi = {10.1007/3-540-48778-6\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/Hartonas-GarmhausenCC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/HavelundLS99,
author = {Klaus Havelund and
Kim Guldstrand Larsen and
Arne Skou},
editor = {Joost{-}Pieter Katoen},
title = {Formal Verification of a Power Controller Using the Real-Time Model
Checker {UPPAAL}},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {277--298},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_17},
doi = {10.1007/3-540-48778-6\_17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/HavelundLS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/HermannsS99,
author = {Holger Hermanns and
Markus Siegle},
editor = {Joost{-}Pieter Katoen},
title = {Bisimulation Algorithms for Stochastic Process Algebras and Their
BDD-Based Implementation},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {244--264},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_15},
doi = {10.1007/3-540-48778-6\_15},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/HermannsS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/JennerV99,
author = {Lars Jenner and
Walter Vogler},
editor = {Joost{-}Pieter Katoen},
title = {Comparing the Efficiency of Asynchronous Systems},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {172--191},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_11},
doi = {10.1007/3-540-48778-6\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/JennerV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/JonssonY99,
author = {Bengt Jonsson and
Wang Yi},
editor = {Joost{-}Pieter Katoen},
title = {Fully Abstract Characterization of Probabilistic May Testing},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {1--18},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_1},
doi = {10.1007/3-540-48778-6\_1},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/JonssonY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Kolano99,
author = {Paul Z. Kolano},
editor = {Joost{-}Pieter Katoen},
title = {Proof Assistance for Real-Time Systems Using an Interactive Theorem
Prover},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {315--333},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_19},
doi = {10.1007/3-540-48778-6\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/Kolano99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/KwiatkowskaNSS99,
author = {Marta Z. Kwiatkowska and
Gethin Norman and
Roberto Segala and
Jeremy Sproston},
editor = {Joost{-}Pieter Katoen},
title = {Automatic Verification of Real-Time Systems with Discrete Probability
Distributions},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {75--95},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_5},
doi = {10.1007/3-540-48778-6\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/KwiatkowskaNSS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Lermer99,
author = {Karl Lermer},
editor = {Joost{-}Pieter Katoen},
title = {A Parallel Operator for Real-Time Processes with Predicate Transformer
Semantics},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {152--171},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_10},
doi = {10.1007/3-540-48778-6\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/Lermer99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/LermerF99,
author = {Karl Lermer and
Colin J. Fidge},
editor = {Joost{-}Pieter Katoen},
title = {A Formal Model of Real-Time Program Compilation},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {192--210},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_12},
doi = {10.1007/3-540-48778-6\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/LermerF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/McIver99,
author = {Annabelle McIver},
editor = {Joost{-}Pieter Katoen},
title = {Quantitative Program Logic and Performance in Probabilistic Distributed
Algorithms},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {19--33},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_2},
doi = {10.1007/3-540-48778-6\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/McIver99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Nunez99,
author = {Manuel N{\'{u}}{\~{n}}ez},
editor = {Joost{-}Pieter Katoen},
title = {An Axiomatization of Probabilistic Testing},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {130--150},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_8},
doi = {10.1007/3-540-48778-6\_8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arts/Nunez99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/StoelingaV99,
author = {Mari{\"{e}}lle Stoelinga and
Frits W. Vaandrager},
editor = {Joost{-}Pieter Katoen},
title = {Root Contention in {IEEE} 1394},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {53--74},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_4},
doi = {10.1007/3-540-48778-6\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/StoelingaV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Tripakis99,
author = {Stavros Tripakis},
editor = {Joost{-}Pieter Katoen},
title = {Verifying Progress in Timed Systems},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {299--314},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_18},
doi = {10.1007/3-540-48778-6\_18},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/Tripakis99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Vaandrager99,
author = {Frits W. Vaandrager},
editor = {Joost{-}Pieter Katoen},
title = {Verification of Hybrid Systems (abstract)},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {151},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_9},
doi = {10.1007/3-540-48778-6\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/Vaandrager99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Vardi99,
author = {Moshe Y. Vardi},
editor = {Joost{-}Pieter Katoen},
title = {Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic
Approach},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {265--276},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_16},
doi = {10.1007/3-540-48778-6\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/Vardi99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/arts/1999,
editor = {Joost{-}Pieter Katoen},
title = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6},
doi = {10.1007/3-540-48778-6},
isbn = {3-540-66010-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/BackBS97,
author = {Ralph{-}Johan Back and
Martin B{\"{u}}chi and
Emil Sekerinski},
editor = {Miquel Bertran and
Teodor Rus},
title = {Action-Based Concurrency and Synchronization for Objects},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {248--262},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_17},
doi = {10.1007/3-540-63010-4\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/arts/BackBS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Bertran97,
author = {Miquel Bertran},
editor = {Miquel Bertran and
Teodor Rus},
title = {A Transformation of Monitor into Communication Synchronized Parallel
Processes: {A} Systematic Refinement Step in Design},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {199--215},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_14},
doi = {10.1007/3-540-63010-4\_14},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/Bertran97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/BertranAD97,
author = {Miquel Bertran and
Felipe Alvarez{-}Cuevas and
Albert Duran},
editor = {Miquel Bertran and
Teodor Rus},
title = {Communication Extended Abstract Types in the Refinement of Parallel
Communicating Processes},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {263--279},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_18},
doi = {10.1007/3-540-63010-4\_18},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/BertranAD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/BjornerMSU97,
author = {Nikolaj S. Bj{\o}rner and
Zohar Manna and
Henny Sipma and
Tom{\'{a}}s E. Uribe},
editor = {Miquel Bertran and
Teodor Rus},
title = {Deductive Verification of Real-Time Systems Using STeP},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {22--43},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_3},
doi = {10.1007/3-540-63010-4\_3},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/BjornerMSU97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Bonner97,
author = {Anthony J. Bonner},
editor = {Miquel Bertran and
Teodor Rus},
title = {What Was Llull Up To?},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {1--14},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_1},
doi = {10.1007/3-540-63010-4\_1},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/Bonner97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/BowmanD97,
author = {Howard Bowman and
John Derrick},
editor = {Miquel Bertran and
Teodor Rus},
title = {Extending {LOTOS} with Time: {A} True Concurrency Perspective},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {383--399},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_26},
doi = {10.1007/3-540-63010-4\_26},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/BowmanD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Broy97,
author = {Manfred Broy},
editor = {Miquel Bertran and
Teodor Rus},
title = {Refinement of Time},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {44--63},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_4},
doi = {10.1007/3-540-63010-4\_4},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/Broy97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/CamposC97,
author = {S{\'{e}}rgio Vale Aguiar Campos and
Edmund M. Clarke},
editor = {Miquel Bertran and
Teodor Rus},
title = {The Verus Language: Representing Time Efficiently with BDDs},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {64--78},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_5},
doi = {10.1007/3-540-63010-4\_5},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/CamposC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/CauZ97,
author = {Antonio Cau and
Hussein Zedan},
editor = {Miquel Bertran and
Teodor Rus},
title = {Refining Interval Temporal Logic Specifications},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {79--94},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_6},
doi = {10.1007/3-540-63010-4\_6},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/CauZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/CuarteroFR97,
author = {Fernando Cuartero and
David de Frutos{-}Escrig and
Valent{\'{\i}}n Valero Ruiz},
editor = {Miquel Bertran and
Teodor Rus},
title = {A Sound and Complete Proof System for Probabilistic Processes},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {340--352},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_23},
doi = {10.1007/3-540-63010-4\_23},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/CuarteroFR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/DArgenio97,
author = {Pedro R. D'Argenio},
editor = {Miquel Bertran and
Teodor Rus},
title = {Regular Processes and Timed Automata},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {141--155},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_10},
doi = {10.1007/3-540-63010-4\_10},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arts/DArgenio97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Dierks97,
author = {Henning Dierks},
editor = {Miquel Bertran and
Teodor Rus},
title = {PLC-Automata: {A} New Class of Implementable Real-Time Automata},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {111--125},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_8},
doi = {10.1007/3-540-63010-4\_8},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/Dierks97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/FevrierNS97,
author = {Arnaud F{\'{e}}vrier and
Elie Najm and
Jean{-}Bernard Stefani},
editor = {Miquel Bertran and
Teodor Rus},
title = {Contracts for {ODP}},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {216--232},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_15},
doi = {10.1007/3-540-63010-4\_15},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/FevrierNS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/FeyerabendJ97,
author = {Konrad Feyerabend and
Bernhard Josko},
editor = {Miquel Bertran and
Teodor Rus},
title = {A Visual Fomalism for Real-Time Requirement Specifications},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {156--168},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_11},
doi = {10.1007/3-540-63010-4\_11},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/FeyerabendJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/GalanP97,
author = {Luis A. Gal{\'{a}}n and
Ricardo Pena},
editor = {Miquel Bertran and
Teodor Rus},
title = {Verification and Refinement of Distributed Programs in a Fair Framework},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {280--294},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_19},
doi = {10.1007/3-540-63010-4\_19},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/GalanP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/GoldsackLD97,
author = {Stephen J. Goldsack and
Kevin Lano and
Eug{\`{e}}ne D{\"{u}}rr},
editor = {Miquel Bertran and
Teodor Rus},
title = {Specification and Refinement of Continuous Real-Time Systems},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {310--324},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_21},
doi = {10.1007/3-540-63010-4\_21},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/GoldsackLD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Gregorio-RodrigrezDNP97,
author = {Carlos Gregorio{-}Rodr{\'{\i}}guez and
Luis Fernando Llana D{\'{\i}}az and
Manuel N{\'{u}}{\~{n}}ez and
Pedro Palao{-}Gostanza},
editor = {Miquel Bertran and
Teodor Rus},
title = {Testing Semantics for a Probabilistic-Timed Process Algebra},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {353--367},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_24},
doi = {10.1007/3-540-63010-4\_24},
timestamp = {Fri, 25 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/Gregorio-RodrigrezDNP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/HernalsteenF97,
author = {Christian Hernalsteen and
Arnaud F{\'{e}}vrier},
editor = {Miquel Bertran and
Teodor Rus},
title = {Introduction of a Suspend/Resume Operator in {ET-LOTOS}},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {400--414},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_27},
doi = {10.1007/3-540-63010-4\_27},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/HernalsteenF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/LanoS97,
author = {Kevin Lano and
Arturo Sanchez},
editor = {Miquel Bertran and
Teodor Rus},
title = {Transformational Formal Development of Real-Time Systems},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {184--198},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_13},
doi = {10.1007/3-540-63010-4\_13},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/LanoS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/LiuJ97,
author = {Zhiming Liu and
Mathai Joseph},
editor = {Miquel Bertran and
Teodor Rus},
title = {Formalizing Real-Time Scheduling as Program Refinement},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {295--309},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_20},
doi = {10.1007/3-540-63010-4\_20},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/LiuJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Llana-DiazF97,
author = {Luis Fernando Llana D{\'{\i}}az and
David de Frutos{-}Escrig},
editor = {Miquel Bertran and
Teodor Rus},
title = {Denotational Semantics for Timed Testing},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {368--382},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_25},
doi = {10.1007/3-540-63010-4\_25},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/Llana-DiazF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/MarinoPDN97,
author = {Perfecto Mari{\~{n}}o and
Francisco Poza and
Miguel Angel Dom{\'{\i}}nguez and
Juan B. Nogueira},
editor = {Miquel Bertran and
Teodor Rus},
title = {Specification and Verification of Real-Time Field Bus with Formal
Description Languages},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {415--429},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_28},
doi = {10.1007/3-540-63010-4\_28},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/MarinoPDN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/RusW97,
author = {Teodor Rus and
Eric Van Wyk},
editor = {Miquel Bertran and
Teodor Rus},
title = {Integrating Temporal Logics and Model Checking Algorithms},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {95--110},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_7},
doi = {10.1007/3-540-63010-4\_7},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/RusW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Sales97,
author = {Ton Sales},
editor = {Miquel Bertran and
Teodor Rus},
title = {Llull as Computer Scientist or Why Llull Was One of Us},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {15--21},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_2},
doi = {10.1007/3-540-63010-4\_2},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/Sales97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/ScholzN97,
author = {Peter Scholz and
Dieter Nazareth},
editor = {Miquel Bertran and
Teodor Rus},
title = {Communication Concepts for Statecharts: {A} Semantic Foundation},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {126--140},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_9},
doi = {10.1007/3-540-63010-4\_9},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/ScholzN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/SmarandacheG97,
author = {Irina M. Smarandache and
Paul {Le Guernic}},
editor = {Miquel Bertran and
Teodor Rus},
title = {Affine Transformations in {SIGNAL} and Their Application in the Specification
and Validation of Real-Time Systems},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {233--247},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_16},
doi = {10.1007/3-540-63010-4\_16},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/SmarandacheG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Wang97,
author = {Farn Wang},
editor = {Miquel Bertran and
Teodor Rus},
title = {High-Level Execution Time Analysis},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {325--339},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_22},
doi = {10.1007/3-540-63010-4\_22},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/Wang97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Yamane97,
author = {Satoshi Yamane},
editor = {Miquel Bertran and
Teodor Rus},
title = {Formal Specification and Verification Method of Concurrent and Distributed
Systems by Restricted Timed Automata},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {169--183},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_12},
doi = {10.1007/3-540-63010-4\_12},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/Yamane97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/arts/1997,
editor = {Miquel Bertran and
Teodor Rus},
title = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4},
doi = {10.1007/3-540-63010-4},
isbn = {3-540-63010-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-08-09 09:25 CEST 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:
