%0 Conference Paper %1 conf/apsec/ZenmyoKS08 %A Zenmyo, Teruyoshi %A Kobayashi, Takashi %A Saeki, Motoshi %B APSEC %D 2008 %I IEEE Computer Society %K dblp %P 111-118 %T A Technique to Check the Implementability of Behavioral Specifications with Frameworks. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2008.html#ZenmyoKS08 %@ 978-0-7695-3446-6

@inproceedings{conf/apsec/ZenmyoKS08, added-at = {2023-03-23T00:00:00.000+0100}, author = {Zenmyo, Teruyoshi and Kobayashi, Takashi and Saeki, Motoshi}, biburl = {https://www.bibsonomy.org/bibtex/20e0466fb1f2ea25488850296355f419a/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/2008}, ee = {https://doi.ieeecomputersociety.org/10.1109/APSEC.2008.19}, interhash = {0d151a55cf6e0e51b45df98df6733977}, intrahash = {0e0466fb1f2ea25488850296355f419a}, isbn = {978-0-7695-3446-6}, keywords = {dblp}, pages = {111-118}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T09:46:11.000+0200}, title = {A Technique to Check the Implementability of Behavioral Specifications with Frameworks.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2008.html#ZenmyoKS08}, year = 2008 }