Expressing properties of resource-bounded systems: the Logics RTL* and RTL

Berndt Muller, N. Bulling

Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddCyfraniad i gynhadleddadolygiad gan gymheiriaid

Ôl bys

Gweld gwybodaeth am bynciau ymchwil 'Expressing properties of resource-bounded systems: the Logics RTL* and RTL'. Gyda’i gilydd, maen nhw’n ffurfio ôl bys unigryw.

Gwyddoniaeth Deunyddiau a Pheirianneg