( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481).

, , , , и . Dagstuhl Reports, 9 (11): 97-116 (2019)

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.

Carolyn Lerche

Carolyn Schaller

Carolyn Weber

Carolyn Grone

Carolyn Hinz

 

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

Integrated analysis of breast cancer cell lines reveals unique signaling pathways., , , , , , , , , и 5 other автор(ы). Genome Biol., 10 (3): R31 (2009)A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services.. FMOODS, том 209 из IFIP Conference Proceedings, стр. 25-26. Kluwer, (2002)Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems., , и . FroCoS, том 3 из Applied Logic Series, стр. 157-174. Kluwer Academic Publishers, (1996)Compliance in Real Time Multiset Rewriting Models., , , , и . CoRR, (2018)A Simplifier for Untyped Lambda Expressions., и . CTRS, том 516 из Lecture Notes in Computer Science, стр. 342-353. Springer, (1990)Towards a Theory of Actor Computation., , , и . CONCUR, том 630 из Lecture Notes in Computer Science, стр. 565-579. Springer, (1992)Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems., , , , и . FORMATS, том 9884 из Lecture Notes in Computer Science, стр. 228-244. Springer, (2016)Analysis of Cellular Proliferation and Survival Signaling by Using Two Ligand/Receptor Systems Modeled by Pathway Logic., , и . HSB, том 9271 из Lecture Notes in Computer Science, стр. 226-245. Springer, (2015)Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols., , , , и . POST, том 9036 из Lecture Notes in Computer Science, стр. 259-279. Springer, (2015)Soft component automata: Composition, compilation, logic, and verification., , , и . Sci. Comput. Program., (2019)