%0 Conference Paper %1 conf/somet/KamedaAGF08 %A Kameda, Tae %A Arai, Osamu %A Gorlatch, Sergei %A Fujita, Hamido %B SoMeT %D 2008 %E Fujita, Hamido %E Zualkernan, Imran A. %I IOS Press %K dblp %P 389-400 %T Towards Verifying Declarative Specifications of Reactive Systems. %U http://dblp.uni-trier.de/db/conf/somet/somet2008.html#KamedaAGF08 %V 182 %@ 978-1-58603-916-5

@inproceedings{conf/somet/KamedaAGF08, added-at = {2022-10-02T00:00:00.000+0200}, author = {Kameda, Tae and Arai, Osamu and Gorlatch, Sergei and Fujita, Hamido}, biburl = {https://www.bibsonomy.org/bibtex/28acc86c4e483a0662c28dfefe70412a3/dblp}, booktitle = {SoMeT}, crossref = {conf/somet/2008}, editor = {Fujita, Hamido and Zualkernan, Imran A.}, ee = {https://doi.org/10.3233/978-1-58603-916-5-389}, interhash = {ff7bd5b388f14d210e6be1be8191c827}, intrahash = {8acc86c4e483a0662c28dfefe70412a3}, isbn = {978-1-58603-916-5}, keywords = {dblp}, pages = {389-400}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2024-04-10T14:29:36.000+0200}, title = {Towards Verifying Declarative Specifications of Reactive Systems.}, url = {http://dblp.uni-trier.de/db/conf/somet/somet2008.html#KamedaAGF08}, volume = 182, year = 2008 }