مرکز منطقه ای اطلاع رساني علوم و فناوري - Theorem-proving anonymity of infinite-state systems

Title of article :

Theorem-proving anonymity of infinite-state systems

Author/Authors :

Yoshinobu Kawabe، نويسنده , , Ken Mano، نويسنده , , Hideki Sakurada، نويسنده , , Yasuyuki Tsukada، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2007

Pages :

From page :

To page :

Keywords :

anonymity , I/O-automaton , Infinite-state system , Safety/security in digital systems , Theorem proving , formal methods , Verification

Journal title :

Information Processing Letters

Serial Year :

2007

Journal title :

Information Processing Letters

Record number :

130354

Link To Document :