Title of article
Inclusion dynamics hybrid automata
Author/Authors
Alberto Casagrande، نويسنده , , Carla Piazza، نويسنده , , Alberto Policriti، نويسنده , , Bud Mishra، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
31
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