Andrzej M. BorzyszkowskiAndrzej M.
	Borzyszkowski
Logiki temporalne

W plikach 1st.zip oraz step.zip znajdują się przykłady prostych programów Promeli przedstawiane (w większości) na wykładzie.

Zadanie.
Do góry