Transition Systems: Difference between revisions

Revision as of 12:33, 9 May 2020

Syntax and semantics of the format are presented in [1].

Revision as of 09:10, 16 June 2014 view source Mmjb (talk \| contribs) 9 edits No edit summary ← Older edit		Revision as of 12:33, 9 May 2020 view source Giesl (talk \| contribs) Bureaucrats, steering, Administrators 82 edits No edit summary Newer edit →
Line 1:		Line 1:
	[[Category: Categories]]		[[Category: Categories]]

	Syntax and semantics of the format are presented in [~~http~~://~~research~~.microsoft.com/~~apps~~/~~pubs~~/~~?id=219529~~].		Syntax and semantics of the format are presented in [https://www.microsoft.com/en-us/research/publication/termcomp-proposal-pushdown-systems-as-a-model-for-programs-with-procedures/].