%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 }