Content deleted Content added
Citation bot (talk | contribs) Alter: pages. Add: s2cid. | Use this bot. Report bugs. | Suggested by Eastmain | #UCB_webform 191/362 |
|||
Line 97:
| author=David Harel
| doi=10.1023/A:1011227529550
| s2cid=1551133
|author-link = David Harel}}</ref><ref>{{cite journal
| title=Multiple instances and symbolic variables in executable sequence charts
Line 102 ⟶ 103:
| volume=37
| issue=11
| pages=
| year=2002
| author=David Harel
| |||