Deductive Synthesis of Event-Based Software Architectures. Penix, J. In ASE, pages 311-314, 1999. IEEE Computer Society. Link Paper bibtex @inproceedings{ conf/kbse/Penix99a,
added-at = {2015-08-14T00:00:00.000+0200},
author = {Penix, John},
biburl = {http://www.bibsonomy.org/bibtex/2c9b90d5c3c03bdd7bffcb758453be6eb/dblp},
booktitle = {ASE},
crossref = {conf/kbse/1999},
ee = {http://doi.ieeecomputersociety.org/10.1109/ASE.1999.802342},
interhash = {32eb61f9d97dd7ba692b46f5786de7d0},
intrahash = {c9b90d5c3c03bdd7bffcb758453be6eb},
isbn = {0-7695-0415-9},
keywords = {dblp},
pages = {311-314},
publisher = {IEEE Computer Society},
title = {Deductive Synthesis of Event-Based Software Architectures.},
url = {http://dblp.uni-trier.de/db/conf/kbse/ase1999.html#Penix99a},
year = {1999}
}
Downloads: 0
{"_id":"yvKAf8EcttXReKsW4","bibbaseid":"penix-deductivesynthesisofeventbasedsoftwarearchitectures-1999","downloads":0,"creationDate":"2015-09-08T15:38:36.166Z","title":"Deductive Synthesis of Event-Based Software Architectures.","author_short":["Penix, J."],"year":1999,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/john?items=1000","bibdata":{"added-at":"2015-08-14T00:00:00.000+0200","author":["Penix, John"],"author_short":["Penix, J."],"bibtex":"@inproceedings{ conf/kbse/Penix99a,\n added-at = {2015-08-14T00:00:00.000+0200},\n author = {Penix, John},\n biburl = {http://www.bibsonomy.org/bibtex/2c9b90d5c3c03bdd7bffcb758453be6eb/dblp},\n booktitle = {ASE},\n crossref = {conf/kbse/1999},\n ee = {http://doi.ieeecomputersociety.org/10.1109/ASE.1999.802342},\n interhash = {32eb61f9d97dd7ba692b46f5786de7d0},\n intrahash = {c9b90d5c3c03bdd7bffcb758453be6eb},\n isbn = {0-7695-0415-9},\n keywords = {dblp},\n pages = {311-314},\n publisher = {IEEE Computer Society},\n title = {Deductive Synthesis of Event-Based Software Architectures.},\n url = {http://dblp.uni-trier.de/db/conf/kbse/ase1999.html#Penix99a},\n year = {1999}\n}","bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bibtex/2c9b90d5c3c03bdd7bffcb758453be6eb/dblp","booktitle":"ASE","crossref":"conf/kbse/1999","ee":"http://doi.ieeecomputersociety.org/10.1109/ASE.1999.802342","id":"conf/kbse/Penix99a","interhash":"32eb61f9d97dd7ba692b46f5786de7d0","intrahash":"c9b90d5c3c03bdd7bffcb758453be6eb","isbn":"0-7695-0415-9","key":"conf/kbse/Penix99a","keywords":"dblp","pages":"311-314","publisher":"IEEE Computer Society","title":"Deductive Synthesis of Event-Based Software Architectures.","type":"inproceedings","url":"http://dblp.uni-trier.de/db/conf/kbse/ase1999.html#Penix99a","year":"1999","bibbaseid":"penix-deductivesynthesisofeventbasedsoftwarearchitectures-1999","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/ASE.1999.802342","Paper":"http://dblp.uni-trier.de/db/conf/kbse/ase1999.html#Penix99a"},"keyword":["dblp"],"downloads":0},"search_terms":["deductive","synthesis","event","based","software","architectures","penix"],"keywords":["dblp"],"authorIDs":[],"dataSources":["e3DPfiLXyfZxic3k2"]}