( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Compositional logic semantics and LOTOS.

, , и . PSTV, стр. 365-378. North-Holland, (1990)

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

 

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

Refinement of Behavioural Models for Variability Description., и . From Action Systems to Distributed Systems, Chapman and Hall/CRC, (2016)Model Checking Groupware Protocols., , , и . COOP, стр. 179-194. IOS, (2004)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)On testing UML statecharts, , и . Journal of Logic and Algebraic Programming, 69 (1-2): 1--74 (2006)A Deontic Logical Framework for Modelling Product Families., , , и . VaMoS, том 37 из ICB-Research Report, стр. 37-44. Universität Duisburg-Essen, (2010)A Formal Security Analysis of an OSA/Parlay Authentication Interface., , , , , и . FMOODS, том 3535 из Lecture Notes in Computer Science, стр. 131-146. Springer, (2005)Model Checking of Non-Finite State Processes by Finite Approximations., , , и . TACAS, том 1019 из Lecture Notes in Computer Science, стр. 195-215. Springer, (1995)Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews., , , , и . REFSQ, том 10753 из Lecture Notes in Computer Science, стр. 101-118. Springer, (2018)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)