Revision as of 12:55, 25 May 2017 edit Izno (talk \| contribs) Checkusers, Interface administrators, Administrators 138,422 edits →Tools: WP:NOTLINKFARM Tag: Visual edit ← Previous edit		Revision as of 21:24, 4 September 2017 edit undo KolbertBot (talk \| contribs) Bots 1,166,042 edits m Bot: HTTP→HTTPS Next edit →
Line 96: ==See also== * [http://www.di.univaq.it/psc2ba/ PSC] Property Sequence Chart, a way to describe properties in an MSC<ref>{{cite web \| url=~~http~~https://link.springer.com/chapter/10.1007%2F978-3-642-38911-5_2 \| title=Property Verification with MSC \| year=2013

Message sequence chart: Difference between revisions