Norbert Fristacky

	1996
3		Tibor Bartos, Norbert Fristacky: Verifying Timing Consistency in Formal Specifications. IEEE Design & Test of Computers 13(1): 8-15 (1996)
	1994
2		Tibor Bartos, Norbert Fristacky: Formal Verification of Timing Rules in Design Specifications. FPL 1994: 117-119
	1991
1		Viktor Cingel, Norbert Fristacky: A Temporal Logic-Based Model of Event-Driven Nets. Real-Time Systems 3(4): 407-428 (1991)

Coauthor Index

1	Tibor Bartos	[2] [3]
2	Viktor Cingel	[1]

Colors in the list of coauthors