|
| << 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 4 van 6 gevonden artikelen
| Titel: |
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets |
| Auteur: |
Nepomniaschy, V. A. Argirov, V. S. Beloglazov, D. M. Bystrov, A. V. Chetvertakov, E. A. Churina, T. G. |
| Verschenen in: |
Programming and computer software |
| Paginering: | Jaargang 34 (2008) nr. 6 pagina's 330-340 |
| Jaar: |
2008 |
| Inhoud: | |
| Uitgever: |
SP MAIK Nauka/Interperiodica, Dordrecht |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 4 van 6 gevonden artikelen
| << vorige | volgende >> |