Temporal Logic of Actions (TLA) - Institute for Software Systems

Back to online viewer

Download document

Fill the captcha

Click to download

Download pdf
1 MB