شماره ركورد

27135

شماره مدرك

4389497

نويسنده/تنالگان

Susanne Gobel

عنوان

A Polynomial Translation of Mobile Ambients into Safe Petri Nets

اطلاعات نشر

Springer

سال نشر

2016

شابك

9783658117641;9783658117658