Viktor Cingel

According to our database¹, Viktor Cingel authored at least 3 papers between 1991 and 1995.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1995

An Event-Driven Net Based Simulation Methodology within a Knowledge-Based Framework.

[BibT_eX]

[DOI]

Comput. Artif. Intell., 1995

1993

A Graph-Based Method for Timing Diagrams Representation and Verification.

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 1993

1991

A Temporal Logic-Based Model of Event-Driven Nets.

[BibT_eX]

[DOI]

Real Time Syst., 1991