مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Inclusion dynamics hybrid automata

Author/Authors :

Alberto Casagrande، نويسنده , , Carla Piazza، نويسنده , , Alberto Policriti، نويسنده , , Bud Mishra، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2008

Pages :

From page :

1394

To page :

1424

Keywords :

Hybrid automataFirst-order logics over the realsModel checking

Journal title :

Information and Computation

Serial Year :

2008

Journal title :

Information and Computation

Record number :

262526

Link To Document :