Content deleted Content added
m Task 16: replaced (2×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; |
GreenC bot (talk | contribs) Move 1 url. Wayback Medic 2.5 |
||
Line 89:
|archivedate = 2006-08-26
}}</ref><ref>{{cite journal
| url=https://doi.org/10.1023%2FA%3A1011227529550
| title=LSCs: Breathing Life into Message Sequence Charts
| journal=Formal Methods in System Design
|