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/ac/esys1986.bht:"
download as .bib file
@proceedings{DBLP:conf/ac/1986esys,
editor = {Albert T. K{\"{u}}ndig and
Richard E. B{\"{u}}hrer and
Jacques D{\"{a}}hler},
title = {Embedded Systems: New Approaches to Their Formal Description and Design,
An Advances Course, Z{\"{u}}rich, Switzerland, March 5-7, 1986},
series = {Lecture Notes in Computer Science},
volume = {284},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0016343},
doi = {10.1007/BFB0016343},
isbn = {3-540-18581-X},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/1986esys.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Boute86,
author = {Raymond T. Boute},
editor = {Albert T. K{\"{u}}ndig and
Richard E. B{\"{u}}hrer and
Jacques D{\"{a}}hler},
title = {Elements for the Formal Description of Systems},
booktitle = {Embedded Systems: New Approaches to Their Formal Description and Design,
An Advances Course, Z{\"{u}}rich, Switzerland, March 5-7, 1986},
series = {Lecture Notes in Computer Science},
volume = {284},
pages = {63--90},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016347},
doi = {10.1007/BFB0016347},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ac/Boute86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Boute86a,
author = {Raymond T. Boute},
editor = {Albert T. K{\"{u}}ndig and
Richard E. B{\"{u}}hrer and
Jacques D{\"{a}}hler},
title = {An Introduction to System Semantics},
booktitle = {Embedded Systems: New Approaches to Their Formal Description and Design,
An Advances Course, Z{\"{u}}rich, Switzerland, March 5-7, 1986},
series = {Lecture Notes in Computer Science},
volume = {284},
pages = {91--107},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016348},
doi = {10.1007/BFB0016348},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Boute86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Boute86b,
author = {Raymond T. Boute},
editor = {Albert T. K{\"{u}}ndig and
Richard E. B{\"{u}}hrer and
Jacques D{\"{a}}hler},
title = {Functional Formalisms for System Description: Current Research Topics},
booktitle = {Embedded Systems: New Approaches to Their Formal Description and Design,
An Advances Course, Z{\"{u}}rich, Switzerland, March 5-7, 1986},
series = {Lecture Notes in Computer Science},
volume = {284},
pages = {108--126},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016349},
doi = {10.1007/BFB0016349},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Boute86b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Fichtner86,
author = {Wolfgang Fichtner},
editor = {Albert T. K{\"{u}}ndig and
Richard E. B{\"{u}}hrer and
Jacques D{\"{a}}hler},
title = {Design of {VLSI} Systems},
booktitle = {Embedded Systems: New Approaches to Their Formal Description and Design,
An Advances Course, Z{\"{u}}rich, Switzerland, March 5-7, 1986},
series = {Lecture Notes in Computer Science},
volume = {284},
pages = {6--17},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016345},
doi = {10.1007/BFB0016345},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Fichtner86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Jones86,
author = {Simon L. Peyton Jones},
editor = {Albert T. K{\"{u}}ndig and
Richard E. B{\"{u}}hrer and
Jacques D{\"{a}}hler},
title = {Functional Programming Languages as a Software Engineering Tool},
booktitle = {Embedded Systems: New Approaches to Their Formal Description and Design,
An Advances Course, Z{\"{u}}rich, Switzerland, March 5-7, 1986},
series = {Lecture Notes in Computer Science},
volume = {284},
pages = {153--173},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016351},
doi = {10.1007/BFB0016351},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Jones86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Kundig86,
author = {Albert T. K{\"{u}}ndig},
editor = {Albert T. K{\"{u}}ndig and
Richard E. B{\"{u}}hrer and
Jacques D{\"{a}}hler},
title = {A Note on the Meaning of "Embedded Systems"},
booktitle = {Embedded Systems: New Approaches to Their Formal Description and Design,
An Advances Course, Z{\"{u}}rich, Switzerland, March 5-7, 1986},
series = {Lecture Notes in Computer Science},
volume = {284},
pages = {1--5},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016344},
doi = {10.1007/BFB0016344},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Kundig86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Ludewig86,
author = {Jochen Ludewig},
editor = {Albert T. K{\"{u}}ndig and
Richard E. B{\"{u}}hrer and
Jacques D{\"{a}}hler},
title = {Practical Methods and Tools for Specification},
booktitle = {Embedded Systems: New Approaches to Their Formal Description and Design,
An Advances Course, Z{\"{u}}rich, Switzerland, March 5-7, 1986},
series = {Lecture Notes in Computer Science},
volume = {284},
pages = {174--207},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016352},
doi = {10.1007/BFB0016352},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Ludewig86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Reisig86b,
author = {Wolfgang Reisig},
editor = {Albert T. K{\"{u}}ndig and
Richard E. B{\"{u}}hrer and
Jacques D{\"{a}}hler},
title = {Embedded System Description Using Petri Nets},
booktitle = {Embedded Systems: New Approaches to Their Formal Description and Design,
An Advances Course, Z{\"{u}}rich, Switzerland, March 5-7, 1986},
series = {Lecture Notes in Computer Science},
volume = {284},
pages = {18--62},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016346},
doi = {10.1007/BFB0016346},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Reisig86b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Rudin86,
author = {Harry Rudin},
editor = {Albert T. K{\"{u}}ndig and
Richard E. B{\"{u}}hrer and
Jacques D{\"{a}}hler},
title = {Tools for Protocols Driven by Formal Specifications},
booktitle = {Embedded Systems: New Approaches to Their Formal Description and Design,
An Advances Course, Z{\"{u}}rich, Switzerland, March 5-7, 1986},
series = {Lecture Notes in Computer Science},
volume = {284},
pages = {127--152},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016350},
doi = {10.1007/BFB0016350},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Rudin86.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-04 12:13 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:
