( en | de | ru )

 

Disambiguation of "Sekizawa, Toshifusa"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic.

, , , and . VSTTE, volume 5295 of Lecture Notes in Computer Science, page 115-129. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Sekizawa, Toshifusa
add a person with the name Sekizawa, Toshifusa
 

Other publications of authors with the same name

A Case Study: Verification of Specifications of an Embedded System and Generation of Verification Items Using Pairwise Testing., and . APSEC (2), page 146-151. IEEE Computer Society, (2013)A Case Study: Verification of an Embedded System Using Abstraction Refinement with Requirements., , and . COMPSAC Workshops, page 490-493. IEEE Computer Society, (2016)978-1-4673-8845-0.Probabilistic Model Checking of the One-Dimensional Ising Model., , , and . IEICE Trans. Inf. Syst., 92-D (5): 1003-1011 (2009)Counter Example Analysis of Robot Action Design for Self-localization Based on Model Checking Using Probability Removed Model., and . ICCCS, page 1-4. IEEE, (2019)A Bounded Model Checker for Timed Automata and Its Application to LTL Properties., , , , , , and . KES, volume 207 of Procedia Computer Science, page 532-541. Elsevier, (2022)Recursive Gateway Allocation Combined with Self-localization and Model Checking in Mobile Ad-hoc Networks., , and . SoICT, page 441-448. ACM, (2019)Analysis of Specification in Japanese Using Natural Language Processing., , , and . JCKBSE, page 12-21. Springer, (2018)Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench., , , , and . IEICE Trans. Inf. Syst., 102-D (8): 1498-1505 (2019)Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic., , , and . VSTTE, volume 5295 of Lecture Notes in Computer Science, page 115-129. Springer, (2008)Towards Verification of Robot Design for Self-localization., , and . Haifa Verification Conference, volume 10629 of Lecture Notes in Computer Science, page 245-248. Springer, (2017)