( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Representing Biological Systems through Multiset Rewriting.

, , , , и . EUROCAST, том 2809 из Lecture Notes in Computer Science, стр. 415-426. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

No persons found for author name Cervesato, Iliano
add a person with the name Cervesato, Iliano
 

Другие публикации лиц с тем же именем

On Representing Biological Systems through Multiset Rewriting., , , , и . EUROCAST, том 2809 из Lecture Notes in Computer Science, стр. 415-426. Springer, (2003)Substructural Meta-Theory of a Type-Safe Language for Web Programming., и . Fundam. Informaticae, 130 (1): 67-97 (2014)Expression and Enforcement of Dynamic Integrity Constraints., и . SEBD, стр. 283-298. Mediterranean Press (via S. Pellico, 13 - Tel. 0984-465645 - 87030 Rende (CS)), (1993)On the Detection of Kernel-Level Rootkits Using Hardware Performance Counters., , , , и . AsiaCCS, стр. 483-493. ACM, (2017)Specifying Kerberos 5 cross-realm authentication., , , и . WITS, стр. 12-26. ACM, (2005)Typed Multiset Rewriting Specifications of Security Protocols.. MFCSIT, том 40 из Electronic Notes in Theoretical Computer Science, стр. 8-51. Elsevier, (2000)Relating state-based and process-based concurrency through linear logic (full-version)., и . Inf. Comput., 207 (10): 1044-1077 (2009)Reasoning About Set Comprehensions., и . SMT, том 1163 из CEUR Workshop Proceedings, стр. 27-37. CEUR-WS.org, (2014)Event Calculus with Explicit Quantifiers., , и . TIME, стр. 81-88. IEEE Computer Society, (1998)Specifying Properties of Concurrent Computations in CLF., , , и . LFM@IJCAR, том 199 из Electronic Notes in Theoretical Computer Science, стр. 67-87. Elsevier, (2004)