[CST-2] Specification Verification 2

[NA238]

Does anyone know  which slides (or pages of slides), if any, were not
lectured? I missed about two lectures, and am therefore not sure if the
stuff on transistors was lectured or not. How much detail did he go into
regarding the other TL logics?(ITL, CTL* etc)

Could someone explain the formula AG(atom p)..... on pages 85 and 95 of
the 'Lect3A' slides?


2000/8/13  last two parts and 2001/7/2   part (c) - anyone have decent
answers for these?

Cheers for any help
Naz