标题：    amp；amp；阿提特：使用高级Petri网对SDL指定的通信协议进行建模和验证   amp；amp；奥拉斯特：肾综合征   amp；amp；日期：2008   amp；amp；数字对象标识：10.1134/S0361768808060042   amp；amp；体裁：文章   amp；amp；身份证件：5601825   amp；amp；issn公司：0361-7688   amp；amp；问题：6   amp；amp；碎片：330   amp；amp；搅拌棒：程序。计算。柔和。   amp；amp；标题：编程和计算机软件   amp；amp；体积：34   sid：FIZ-Karlsruhe:zbMATH公司

× Entschuldigung公司：Wir konnten Sie leider nicht automatisch einer书目/Einrichtung zuordnen。
Bitte verwenden Sie das nachstehende Suchformular order die Karte，um Ihre Heimateinrichtung auszuwählen。