Henrikas Pranevitchius

According to our database¹, Henrikas Pranevitchius authored at least 2 papers between 1991 and 1994.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1994

Tools for validation and simulation of Estelle/Ag specifications.

[BibT_eX]

Proceedings of the SEKE'94, 1994

1991

Aggregate Approach for Specification, Validation, Simulation and Implementation of Computer Network Protocols.

[BibT_eX]

[DOI]

Proceedings of the Baltic Computer Science, Selected Papers, 1991