Edit Profile (opens in new tab) Tobita, Yoshihiro Compute Distance To: Compute Author ID: tobita.yoshihiro Published as: Tobita, Yoshihiro Documents Indexed: 1 Publication since 2012 Co-Authors: 2 Co-Authors with 1 Joint Publication 81 Co-Co-Authors Co-Authors 0 single-authored 1 Kobayashi, Naoki 1 Tsukada, Takeshi Serials Fields 1 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ Exact flow analysis by higher-order model checking. Zbl 1354.68050Tobita, Yoshihiro; Tsukada, Takeshi; Kobayashi, Naoki 1 2012 Exact flow analysis by higher-order model checking. Zbl 1354.68050Tobita, Yoshihiro; Tsukada, Takeshi; Kobayashi, Naoki 1 2012 Cited by 2 Authors 1 Salvati, Sylvain 1 Walukiewicz, Igor Cited in 1 Serial 1 Logical Methods in Computer Science Cited in 2 Fields 1 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Citations by Year