( 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.

Stefania Peluso

Stefania Richter

Stefania Castagnetti

Stefania Gori

Stefania Mendelsohn

 

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

Model Checking Groupware Protocols., , , и . COOP, стр. 179-194. IOS, (2004)Ambiguity and tacit knowledge in requirements elicitation interviews., , и . Requir. Eng., 21 (3): 333-355 (2016)An Experience on Applying Process Mining Techniques to the Tuscan Port Community System., , , , , , и . SWQD, том 238 из Lecture Notes in Business Information Processing, стр. 49-60. Springer, (2016)Applying the product lines paradigm to the quantitative analysis of collective adaptive systems., , и . SPLC, стр. 321-326. ACM, (2015)Dynamic Programming as Graph Searching: An Algebraic Approach., , и . J. ACM, 28 (4): 737-751 (1981)A Formal Security Analysis of an OSA/Parlay Authentication Interface., , , , , и . FMOODS, том 3535 из Lecture Notes in Computer Science, стр. 131-146. Springer, (2005)Shortest Path Problems and Tree Grammars: An Algebraic Framework., , и . Graph-Grammars and Their Application to Computer Science and Biology, том 73 из Lecture Notes in Computer Science, стр. 167-179. Springer, (1978)Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews., , , , и . REFSQ, том 10753 из Lecture Notes in Computer Science, стр. 101-118. Springer, (2018)Model Checking of Non-Finite State Processes by Finite Approximations., , , и . TACAS, том 1019 из Lecture Notes in Computer Science, стр. 195-215. Springer, (1995)Are Standards an Ambiguity-Free Reference for Product Validation?, , и . RSSRail, том 10598 из Lecture Notes in Computer Science, стр. 251-264. Springer, (2017)