On Disjunction of Literals in Triggers of Statecharts Transitions

Academic Article
Publication Date:
2002
Iris type:
Articolo su Rivista
List of contributors:
Authors of the University:
Handle:
https://irinsubria.uninsubria.it/handle/11383/1490751
Published in:
INFORMATION PROCESSING LETTERS
Journal