Normal view MARC view

Temporal Logic (Topical Term)

Preferred form: Temporal Logic

Machine generated authority record

Work cat.: (NEDUET)742585: Finkelstein, Anthony C. W. 774280, Inconsistency Handling in Multiperspective Specifications