( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Prototype Implementation of a Distributed Satisfiability Modulo Theories Solver in the ToolBus Framework.

, , и . J. Braz. Comput. Soc., 14 (1): 71-86 (2008)

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.

Bodo David

Erich David

Ernst David

Baruch Davidoff

Frida David

 

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

AGraphs: Definition, implementation and tools., , и . ECEASST, (2006)BEval: A Plug-in to Extend Atelier B with Current Verification Technologies., и . LAFM, том 139 из EPTCS, стр. 53-58. (2013)Verifying Code Generation Tools for the B-Method Using Tests: A Case Study., , , , , и . TAP@STAF, том 9154 из Lecture Notes in Computer Science, стр. 76-91. Springer, (2015)Using induction and BDDs to model check invariants., и . CHARME, том 105 из IFIP Conference Proceedings, стр. 203-213. Chapman & Hall, (1997)Assigning Safe Executed Systems to Meanings., , и . RSSRail, том 13294 из Lecture Notes in Computer Science, стр. 130-142. Springer, (2022)Applying a Formal Method in Industry: a 25-Year Trajectory., , , и . CoRR, (2020)Extending SMT-LIB v2 with λ-Terms and Polymorphism., , и . SMT, том 1163 из CEUR Workshop Proceedings, стр. 53-62. CEUR-WS.org, (2014)Automation of Java Card component development using the B method., , и . ICECCS, стр. 259-268. IEEE Computer Society, (2006)GridTPT: a distributed platform for Theorem Prover Testing., , , и . PAAR@IJCAR, том 9 из EPiC Series in Computing, стр. 33-39. EasyChair, (2010)Techniques for Temporal Logic Model Checking.. PSSE, том 3167 из Lecture Notes in Computer Science, стр. 315-367. Springer, (2004)