Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/rex/rex91.bht:"
download as .bib file
@proceedings{DBLP:conf/rex/1991,
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0031984},
doi = {10.1007/BFB0031984},
isbn = {3-540-55564-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/AbadiL91,
author = {Mart{\'{\i}}n Abadi and
Leslie Lamport},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {An Old-Fashioned Recipe for Real Time},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {1--27},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031985},
doi = {10.1007/BFB0031985},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/AbadiL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/AlurCD91,
author = {Rajeev Alur and
Costas Courcoubetis and
David L. Dill},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Verifying Automata Specifications of Probabilistic Real-time Systems},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {28--44},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031986},
doi = {10.1007/BFB0031986},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/AlurCD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/AlurD91,
author = {Rajeev Alur and
David L. Dill},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {The Theory of Timed Automata},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {45--73},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031987},
doi = {10.1007/BFB0031987},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/AlurD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/AlurH91,
author = {Rajeev Alur and
Thomas A. Henzinger},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Logics and Models of Real Time: {A} Survey},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {74--106},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031988},
doi = {10.1007/BFB0031988},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/AlurH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/BaetenB91,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {The State Operator in Real Time Process Algebra},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {107--123},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031989},
doi = {10.1007/BFB0031989},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/BaetenB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/BolognesiL91,
author = {Tommaso Bolognesi and
Ferdinando Lucidi},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Timed Process Algebras with Urgent Interactions and a Unique Powerful
Binary Operator},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {124--148},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031990},
doi = {10.1007/BFB0031990},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/BolognesiL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/CourtiatD91,
author = {Jean{-}Pierre Courtiat and
Michel Diaz},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Time in State Based Formal Description Techniques for Distributed
Systems},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {149--175},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031991},
doi = {10.1007/BFB0031991},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/CourtiatD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Emerson91,
author = {E. Allen Emerson},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Real-Time and the Mu-Calculus (Preliminary Report)},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {176--194},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031992},
doi = {10.1007/BFB0031992},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/Emerson91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/GerberL91,
author = {Richard Gerber and
Insup Lee},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Specification and Analysis of Resource-Bound Real-Time Systems},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {371--396},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032001},
doi = {10.1007/BFB0032001},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rex/GerberL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/HansenC91,
author = {Michael R. Hansen and
Zhou Chaochen},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Semantics and Completeness of Duration Calculus},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {209--225},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031994},
doi = {10.1007/BFB0031994},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/HansenC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/HenzingerMP91,
author = {Thomas A. Henzinger and
Zohar Manna and
Amir Pnueli},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Timed Transition Systems},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {226--251},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031995},
doi = {10.1007/BFB0031995},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/HenzingerMP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Hooman91,
author = {Jozef Hooman},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Compositional Verification of Real-Time Systems using Extended Hoare
Triples},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {252--290},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031996},
doi = {10.1007/BFB0031996},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/Hooman91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/HuizingG91,
author = {Cornelis Huizing and
Rob Gerth},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Semantics of Reactive Systems in Abstract Time},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {291--314},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031997},
doi = {10.1007/BFB0031997},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/HuizingG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Joseph91,
author = {Mathai Joseph},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Problems, Promises and Performance: Some Questions for Real-time System
Specification},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {315--324},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031998},
doi = {10.1007/BFB0031998},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/Joseph91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Klusener91,
author = {Steven Klusener},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Abstraction in Real Time Process Algebra},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {325--352},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031999},
doi = {10.1007/BFB0031999},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/Klusener91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Koymans91,
author = {Ron Koymans},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {(Real) Time: {A} Philosophical Perspective},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {353--370},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032000},
doi = {10.1007/BFB0032000},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/Koymans91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/LynchV91,
author = {Nancy A. Lynch and
Frits W. Vaandrager},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Forward and Backward Simulations for Timing-Based Systems},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {397--446},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032002},
doi = {10.1007/BFB0032002},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/LynchV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/MalerMP91,
author = {Oded Maler and
Zohar Manna and
Amir Pnueli},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {From Timed to Hybrid Systems},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {447--484},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032003},
doi = {10.1007/BFB0032003},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/MalerMP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Mok91,
author = {Aloysius K. Mok},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Coping with Implementation Dependencies in Real-Time System Verification},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {485--501},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032004},
doi = {10.1007/BFB0032004},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/Mok91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Morzenti91,
author = {Angelo Morzenti},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Validating Real-Time Systems by Executing Logic Specifications},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {502--525},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032005},
doi = {10.1007/BFB0032005},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/Morzenti91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/NicollinS91,
author = {Xavier Nicollin and
Joseph Sifakis},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {An Overview and Synthesis on Timed Process Algebras},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {526--548},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032006},
doi = {10.1007/BFB0032006},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/NicollinS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/NicollinSY91,
author = {Xavier Nicollin and
Joseph Sifakis and
Sergio Yovine},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {From {ATP} to Timed Graphs and Hybrid Systems},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {549--572},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032007},
doi = {10.1007/BFB0032007},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/NicollinSY91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Ostroff91,
author = {Jonathan S. Ostroff},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Verification of Safety Critical Systems Using {TTM/RTTL}},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {573--602},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032008},
doi = {10.1007/BFB0032008},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/Ostroff91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/RocheteauH91,
author = {Fr{\'{e}}d{\'{e}}ric Rocheteau and
Nicolas Halbwachs},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Implementing Reactive Programs on Circuits: {A} Hardware Implementation
of {LUSTRE}},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {195--208},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031993},
doi = {10.1007/BFB0031993},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/RocheteauH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Schenke91,
author = {Michael Schenke},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Predicative Specification of Timed Processes},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {603--617},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032009},
doi = {10.1007/BFB0032009},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/Schenke91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/SchneiderBM91,
author = {Fred B. Schneider and
Bard Bloom and
Keith Marzullo},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Putting Time into Proof Outlines},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {618--639},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032010},
doi = {10.1007/BFB0032010},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/SchneiderBM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/SchneiderDJRRR91,
author = {Steve A. Schneider and
Jim Davies and
D. M. Jackson and
George M. Reed and
Joy N. Reed and
A. W. Roscoe},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Timed {CSP:} Theory and Practice},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {640--675},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032011},
doi = {10.1007/BFB0032011},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/SchneiderDJRRR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Wood91,
author = {William G. Wood},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {A Specification of the Cat and Mouse Problem},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {676--686},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032012},
doi = {10.1007/BFB0032012},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/Wood91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Zwiers91,
author = {Job Zwiers},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Layering and Action Refinement for Timed Systems},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {687--723},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032013},
doi = {10.1007/BFB0032013},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/Zwiers91.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-05-31 04:38 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:
