Yazar
Tjoa, A Min. editor. (orcid)0000-0002-8295-9252
Format:
Electronic Resources
Alıntı:
transformation -- Graph structure and computation -- Business processes, protocols, and mobile networks -- Mobile
View Other Search Results
Yazar
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
Format:
Electronic Resources
Alıntı:
Consumption-Preserving Translation of Actors to Haskell -- Verification of Time-Aware Business Processes using
View Other Search Results