( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
X-Separability and Left-Invertibility in lambda-calculus

, и . LICS, стр. 320-328. IEEE Computer Society, (1987)

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.

Giuseppe Tronci

Roberto Tronci

Enrico Meier

Enrico Körner

Enrico Schramm

 

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

X-Separability and Left-Invertibility in lambda-calculus, и . LICS, стр. 320-328. IEEE Computer Society, (1987)Exploiting Transition Locality in the Disk Based Mur phi Verifier., , , и . FMCAD, том 2517 из Lecture Notes in Computer Science, стр. 202-219. Springer, (2002)Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier., , , , и . ICTCS, том 2841 из Lecture Notes in Computer Science, стр. 58-71. Springer, (2003)A Symbolic Model Checker for ACTL., , , , и . FM-Trends, том 1641 из Lecture Notes in Computer Science, стр. 228-242. Springer, (1998)On model based synthesis of embedded control software., , , , и . EMSOFT, стр. 227-236. ACM, (2012)Parallel Statistical Model Checking for Safety Verification in Smart Grids., , , , , , , , и . SmartGridComm, стр. 1-6. IEEE, (2018)Demand-aware price policy synthesis and verification services for Smart Grids., , , , , , , , и . SmartGridComm, стр. 794-799. IEEE, (2014)Visualisation of Control Software for Cyber-Physical Systems., , , и . Inf., 12 (5): 178 (2021)Formal Models of Timing Attacks on Web Privacy., , , , , , и . TOSCA, том 62 из Electronic Notes in Theoretical Computer Science, стр. 229-243. Elsevier, (2001)Flexible Plan Verification: Feasibility Results., , , , и . RCRA@AI*IA, том 589 из CEUR Workshop Proceedings, CEUR-WS.org, (2009)