Formális módszerekkel 5.

• ütemkezdetek és kapcsolataik