Content deleted Content added
GreenC bot (talk | contribs) Move 1 url. Wayback Medic 2.5 |
Citation bot (talk | contribs) m Alter: author. Add: author-link. Removed URL that duplicated unique identifier. Removed accessdate with no specified URL. | You can use this bot yourself. Report bugs here. | Activated by User:Headbomb | via #UCB_webform |
||
Line 83:
|title = Message Sequence Charts
|date = 2003-04-08
|author =
|accessdate = 2009-09-20
|url-status = dead
|archiveurl = https://web.archive.org/web/20060826195305/http://www.comp.nus.edu.sg/~thiagu/public_papers/surveymsc.pdf
|archivedate = 2006-08-26
|author-link = David Harel
}}</ref><ref>{{cite journal
| title=LSCs: Breathing Life into Message Sequence Charts
| journal=Formal Methods in System Design
Line 95:
| pages=45–80
| date=2005-02-22
| author=
|author-link = David Harel}}</ref><ref>{{cite journal
| title=Multiple instances and symbolic variables in executable sequence charts
| journal=ACM SIGPLAN Notices
Line 105 ⟶ 104:
| pages=83
| year=2002
| author=
| citeseerx=10.1.1.20.5984
| author-link=David Harel
}}</ref>
| |||