Tibor Bartos

List of publications from the DBLP Bibliography Server - FAQ

1996

2 EE Tibor Bartos, Norbert Fristacky: Verifying Timing Consistency in Formal Specifications. IEEE Design & Test of Computers 13(1): 8-15 (1996)

1994

1 Tibor Bartos, Norbert Fristacky: Formal Verification of Timing Rules in Design Specifications. FPL 1994: 117-119

1996
2	EE	Tibor Bartos, Norbert Fristacky: Verifying Timing Consistency in Formal Specifications. IEEE Design & Test of Computers 13(1): 8-15 (1996)
1994
1		Tibor Bartos, Norbert Fristacky: Formal Verification of Timing Rules in Design Specifications. FPL 1994: 117-119

Coauthor Index