Inproceedings,
Synthesis from mixed specifications.
G. Micheli, V. III, C. Coelho, and T. Sakamoto.EURO-DAC, page 114-119. IEEE Computer Society Press, (1996)
Meta data
- BibTeX key
- conf/eurodac/MicheliMCS96
- entry type
- inproceedings
- booktitle
- EURO-DAC
- year
- 1996
- pages
- 114-119
- publisher
- IEEE Computer Society Press
- crossref
- conf/eurodac/1996
- ee
- http://dl.acm.org/citation.cfm?id=252496
- isbn
- 0-8186-7573-X
- url
- http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1996.html#MicheliMCS96
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/eurodac/MicheliMCS96
%A Micheli, Giovanni De
%A III, Vincent John Mooney
%A Coelho, Claudionor Nunes
%A Sakamoto, Toshiyuki
%B EURO-DAC
%D 1996
%E Symonds, Graham
%E Nebel, Wolfgang
%I IEEE Computer Society Press
%K dblp
%P 114-119
%T Synthesis from mixed specifications.
%U http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1996.html#MicheliMCS96
%@ 0-8186-7573-X
@inproceedings{conf/eurodac/MicheliMCS96,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Micheli, Giovanni De and III, Vincent John Mooney and Coelho, Claudionor Nunes and Sakamoto, Toshiyuki},
biburl = {https://www.bibsonomy.org/bibtex/28bf27f2e8b1652fa6e5488e7cca3eb0e/dblp},
booktitle = {EURO-DAC},
crossref = {conf/eurodac/1996},
editor = {Symonds, Graham and Nebel, Wolfgang},
ee = {http://dl.acm.org/citation.cfm?id=252496},
interhash = {6834ab1991debf6e05f568cfcee336cd},
intrahash = {8bf27f2e8b1652fa6e5488e7cca3eb0e},
isbn = {0-8186-7573-X},
keywords = {dblp},
pages = {114-119},
publisher = {IEEE Computer Society Press},
timestamp = {2024-04-10T15:05:17.000+0200},
title = {Synthesis from mixed specifications.},
url = {http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1996.html#MicheliMCS96},
year = 1996
}