Content deleted Content added
Hervegirod (talk | contribs) |
m Unlinking full-dates. Details here. Codes: ISO1(×2) |
||
Line 52:
| url=http://www.comp.nus.edu.sg/~thiagu/public_papers/surveymsc.pdf
| title=Message Sequence Charts
| date=
| author=[[David Harel]]
| accessdate=2009-09-20}}</ref><ref>{{cite web
| url=http://www.springerlink.com/content/hfnna0r9jbl54ya4/
| title=LSCs: Breathing Life into Message Sequence Charts
| date=
| publisher=[[Formal Methods in System Design]]
| author=[[David Harel]]
|