Viktor Cingel

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1995

3 Viktor Cingel, P. Fric: An Event-Driven Net Based Simulation Methodology within a Knowledge-Based Framework. Computers and Artificial Intelligence 14(2): (1995)

1993

2 Viktor Cingel: A Graph-Based Method for Timing Diagrams Representation and Verification. CHARME 1993: 1-14

1991

1 Viktor Cingel, Norbert Fristacky: A Temporal Logic-Based Model of Event-Driven Nets. Real-Time Systems 3(4): 407-428 (1991)

	1995
3		Viktor Cingel, P. Fric: An Event-Driven Net Based Simulation Methodology within a Knowledge-Based Framework. Computers and Artificial Intelligence 14(2): (1995)
	1993
2		Viktor Cingel: A Graph-Based Method for Timing Diagrams Representation and Verification. CHARME 1993: 1-14
	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 P. Fric [3]

2 Norbert Fristacky [1]

Colors in the list of coauthors