Logical Methods in Protocol Analysis
| Autor: | Izak van Langevelde, Jan Treur |
|---|---|
| Přispěvatelé: | Linster, Mark |
| Jazyk: | angličtina |
| Rok vydání: | 1992 |
| Zdroj: | Langevelde, I V & Treur, J 1992, Logical Methods in Protocol Analysis . in M Linster (ed.), Proceedings of the European Knowledge Acquisition Workshop, EKAW '91 . pp. 162-183 . Vrije Universiteit Amsterdam |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|