Tibor Bartos

Publication Activity (10 Years)

Years Active: 1994-1996
Publications (10 Years): 0

Publications

Tibor Bartos, Norbert Fristacky
Verifying Timing Consistency in Formal Specifications. IEEE Des. Test Comput. 13 (1) (1996)
Tibor Bartos, Norbert Fristacky
Formal Verification of Timing Rules in Design Specifications. FPL (1994)