( en | de | ru )

 

Disambiguation of "Willemse, Tim A. C."

Author of the publication

copydeleteadd this publication to your clipboard
Results on Embeddings Between State-Based and Event-Based Systems.

, , and . Comput. J., 57 (1): 73-92 (2014)

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. You can also use the button next to the name to display some publications already assigned to the person.

C A Knorr

Tim C Lüth

Tim C Lüth

Tim C Lüth

Tim C Lüth

 

Other publications of authors with the same name

Folk Theorems on the Correspondence between State-Based and Event-Based Systems, and . CoRR, (2010)Structural Analysis of Boolean Equation Systems, , and . CoRR, (2010)Heuristics for ioco -Based Test-Based Modelling.. FMICS/PDMC, volume 4346 of Lecture Notes in Computer Science, page 132-147. Springer, (2006)Invariants for Parameterised Boolean Equation Systems., and . CONCUR, volume 5201 of Lecture Notes in Computer Science, page 187-202. Springer, (2008)Folk Theorems on the Correspondence between State-Based and Event-Based Systems., and . SOFSEM, volume 6543 of Lecture Notes in Computer Science, page 494-505. Springer, (2011)Instantiation for Parameterised Boolean Equation Systems., , and . ICTAC, volume 5160 of Lecture Notes in Computer Science, page 440-454. Springer, (2008)Experiences in developing the mCRL2 toolset., , , , and . Softw. Pract. Exp., 41 (2): 143-153 (2011)On the Complexity of Input Output Conformance Testing., , and . FACS, volume 8348 of Lecture Notes in Computer Science, page 291-309. Springer, (2013)Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting., , and . FACS, volume 11222 of Lecture Notes in Computer Science, page 216-236. Springer, (2018)Family-Based Model Checking of SPL based on mCRL2., , and . SPLC (B), page 13-16. ACM, (2017)