Title of article
On disjunction of literals in triggers of statecharts transitions
Author/Authors
Andrea Maggiolo-Schettini، نويسنده , , Simone Tini، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2002
Pages
6
From page
305
To page
310
Keywords
Reactive systems , concurrency , Specification languages , Statecharts
Journal title
Information Processing Letters
Serial Year
2002
Journal title
Information Processing Letters
Record number
129624
Link To Document