( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Automated Based Verification Environment for Mobile Processes.

, , , , , и . TACAS, том 1217 из Lecture Notes in Computer Science, стр. 275-289. Springer, (1997)

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.

Gioia Speer

Gioia Schubring

Michaela Enderle-Ristori

Sylvia-Gioia Caesar

Eugenio Di Gioia

 

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

Verifying hardware components within JACK., , , , и . CHARME, том 987 из Lecture Notes in Computer Science, стр. 246-260. Springer, (1995)Model Checking for Action-Based Logics., , и . Formal Methods Syst. Des., 4 (2): 187-203 (1994)A Concurrent Functional Semantics for a Process Algebra Based on Action Systems., и . Fundam. Informaticae, 31 (3/4): 357-377 (1997)An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems., , , и . CAV, том 575 из Lecture Notes in Computer Science, стр. 37-47. Springer, (1991)Assisting Requirement Formalization by Means of Natural Language Translation., , , , , и . Formal Methods Syst. Des., 4 (3): 243-263 (1994)Modelling Concurrent Accesses to Shared Data via Petri Nets., , и . PROCOMET, том A-56 из IFIP Transactions, стр. 403-422. North-Holland, (1994)Compositional logic semantics and LOTOS., , и . PSTV, стр. 365-378. North-Holland, (1990)An Automated Based Verification Environment for Mobile Processes., , , , , и . TACAS, том 1217 из Lecture Notes in Computer Science, стр. 275-289. Springer, (1997)Verifying Mobile Processes in the HAL Environment., , , , и . CAV, том 1427 из Lecture Notes in Computer Science, стр. 511-515. Springer, (1998)