|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 12 van 14 gevonden artikelen
| Titel: |
Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets |
| Auteur: |
Nepomniaschy, V. A. Alekseev, G. I. Bystrov, A. V. Myl'nikov, S. P. Okunishnikova, E. V. Chubarev, P. A. Churina, T. G. |
| Verschenen in: |
Programming and computer software |
| Paginering: | Jaargang 27 (2001) nr. 2 pagina's 58-68 |
| Jaar: |
2001 |
| Inhoud: | |
| Uitgever: |
Kluwer Academic Publishers-Plenum Publishers, New York |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 12 van 14 gevonden artikelen
| << vorige | volgende >> |