A. Petrenko

Discrete Nets and Their Application to Systems Analysis

A. Petrenko, 1982 .

Promotion of East-West Computer Communication in IIASA's International Environment and the Hungarian Case Study

I. Sebestyen, A. Petrenko, P. Bakonyi, 1981 .

Evolution of Computer Networks: Theory and Experience. Proceedings of the Meeting, December 10-12, 1979

A. Petrenko, 1981 .

On the Specification and Verification of Communication Protocols

A. Petrenko, 1980 .

Dynamic analysis of java applications for multithreaded antipatterns

A. Petrenko, H. Hallal, S. Boroday, 2005, WODA '05.