- SZTAKI Tanulmányok
- Kovács László: Számítógép-hálózati protokollok formális specifikálása és verifikálása (SZTAKI Tanulmányok 138/1982)
Kovács László: Számítógép-hálózati protokollok formális specifikálása és verifikálása (SZTAKI Tanulmányok 138/1982)
Next