Title of article

Axiomatising timed automata

Author/Authors

Huimin Lin and Wang Yi ، نويسنده ,

Issue Information

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

Pages

29

From page

277

To page

305

Journal title

acta Informatica

Serial Year

2002

Journal title

acta Informatica

Record number

287731