Henrikas Pranevitchius

	1994
2		Henrikas Pranevitchius, Vytautas Pilkauskas: Tools for validation and simulation of Estelle/Ag specifications. SEKE 1994: 94-99
	1991
1		Henrikas Pranevitchius: Aggregate Approach for Specification, Validation, Simulation and Implementation of Computer Network Protocols. Baltic Computer Science 1991: 433-477

Coauthor Index

1

Vytautas Pilkauskas

[2]