PakCat catalogue record

Model Checking Semantically Annotated Services

By Di Pietro, Ivan; Pagliarecci, Francesco; Spalazzi, Luca

Bibliographic details

Subjects

NULL