%0 Conference Paper %1 conf/iicai/BolotovBG09 %A Bolotov, Alexander %A Basso, Alessandro %A Grigoriev, Oleg M. %B IICAI %D 2009 %E Prasad, Bhanu %E Lingras, Pawan %E Ram, Ashwin %I IICAI %K dblp %P 166-185 %T Deontic Extension of Deductive Verification of Component Model: Combining Computation Tree Logic and Deontic Logic in Natural Deduction Style Calculus. %U http://dblp.uni-trier.de/db/conf/iicai/iicai2009.html#BolotovBG09 %@ 978-0-9727412-7-9

@inproceedings{conf/iicai/BolotovBG09, added-at = {2023-10-07T00:00:00.000+0200}, author = {Bolotov, Alexander and Basso, Alessandro and Grigoriev, Oleg M.}, biburl = {https://www.bibsonomy.org/bibtex/2a7f5afadc0d426090c3b796affb67675/dblp}, booktitle = {IICAI}, crossref = {conf/iicai/2009}, editor = {Prasad, Bhanu and Lingras, Pawan and Ram, Ashwin}, interhash = {c82387dacdd004b6390fe52baaa4423a}, intrahash = {a7f5afadc0d426090c3b796affb67675}, isbn = {978-0-9727412-7-9}, keywords = {dblp}, pages = {166-185}, publisher = {IICAI}, timestamp = {2024-04-09T16:28:02.000+0200}, title = {Deontic Extension of Deductive Verification of Component Model: Combining Computation Tree Logic and Deontic Logic in Natural Deduction Style Calculus.}, url = {http://dblp.uni-trier.de/db/conf/iicai/iicai2009.html#BolotovBG09}, year = 2009 }