%0 Thesis %1 phd/jp/Kutsuna15 %A Kutsuna, Takuro %D 2015 %K dblp %T Enhancing System Reliability using Abstraction and Efficient Logical Computation.

@phdthesis{phd/jp/Kutsuna15, added-at = {2023-10-24T00:00:00.000+0200}, author = {Kutsuna, Takuro}, biburl = {https://www.bibsonomy.org/bibtex/29bfa8d561c6e92d129f66f9067edda6f/dblp}, ee = {http://hdl.handle.net/2433/202740}, interhash = {3d1a5eacd7e56f5a2b654f3c330b5d8c}, intrahash = {9bfa8d561c6e92d129f66f9067edda6f}, keywords = {dblp}, school = {Kyoto University, Japan}, timestamp = {2024-04-09T08:01:11.000+0200}, title = {Enhancing System Reliability using Abstraction and Efficient Logical Computation.}, year = 2015 }