Susanne Göbel

A Polynomial Translation of Mobile Ambients into Safe Petri Nets - Springer Springer 2016

9783658117658

EBOOK