Norbert Fristacky

	1999
4		Jozef Dujnic, Norbert Fristacky, Ludovít Molnár, Ivan Plander, Branislav Rovan: On the history of computer science, computer engineering, and computer technology development in Slovakia. IEEE Annals of the History of Computing 21(3): 38-48 (1999)
	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]
3	Jozef Dujnic	[4]
4	Ludovít Molnár	[4]
5	Ivan Plander	[4]
6	Branislav Rovan	[4]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page