%0
Generic
%T
Logic, Language, and Computation: Model Checking for Modal Intuitionistic Dependence Logic
%A Ebbing, Johannes
%A Lohmann, Peter
%A Yang, Fan
%I Springer Berlin Heidelberg
%@ 0302-9743
%@ 1611-3349
%D 2013
%C Springer Berlin Heidelberg
%U https://katalog.slub-dresden.de/en/?cHash=d436d54d7a76fc6fe03d5b8c85ebf4cf&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAwNy85NzgtMy02NDItMzY5NzYtNl8xNQ&tx_find_find%5Btype%5D=endnote