( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Static Analysis Techniques for Parameterised Boolean Equation Systems.

, , и . TACAS, том 5505 из Lecture Notes in Computer Science, стр. 230-245. Springer, (2009)

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.

C A Knorr

Tim C Lüth

Tim C Lüth

Tim C Lüth

Tim C Lüth

 

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

Instantiation for Parameterised Boolean Equation Systems., , и . ICTAC, том 5160 из Lecture Notes in Computer Science, стр. 440-454. Springer, (2008)Experiences in developing the mCRL2 toolset., , , , и . Softw. Pract. Exp., 41 (2): 143-153 (2011)On the Complexity of Input Output Conformance Testing., , и . FACS, том 8348 из Lecture Notes in Computer Science, стр. 291-309. Springer, (2013)Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting., , и . FACS, том 11222 из Lecture Notes in Computer Science, стр. 216-236. Springer, (2018)Structural Analysis of Boolean Equation Systems, , и . CoRR, (2010)Folk Theorems on the Correspondence between State-Based and Event-Based Systems, и . CoRR, (2010)Invariants for Parameterised Boolean Equation Systems., и . CONCUR, том 5201 из Lecture Notes in Computer Science, стр. 187-202. Springer, (2008)Heuristics for ioco -Based Test-Based Modelling.. FMICS/PDMC, том 4346 из Lecture Notes in Computer Science, стр. 132-147. Springer, (2006)Family-Based Model Checking of SPL based on mCRL2., , и . SPLC (B), стр. 13-16. ACM, (2017)A process algebra with global variables., , , и . EXPRESS/SOS, том 322 из EPTCS, стр. 33-50. (2020)