| |
| 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 | |
| 1 | Vytautas Pilkauskas | [2] |