Tibor Bartos

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1996

2 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		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