( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Abstract Interpretation of Reactive Systems.

, , и . ACM Trans. Program. Lang. Syst., 19 (2): 253-291 (1997)

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.

Judith Dams

Wolfgang Dams

Andreas Dams

Thomas Dams

Wolfgang Dams

 

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

Verification, Model Checking and Abstract Interpretation (Workshop Overview)., , , и . ILPS, стр. 421-422. MIT Press, (1997)Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs., и . FMCO, том 4111 из Lecture Notes in Computer Science, стр. 138-160. Springer, (2005)Integrating Real Time into Spin: A Prototype Implementation., и . FORTE, том 135 из IFIP Conference Proceedings, стр. 423-438. Kluwer, (1998)Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis., , и . ICLP, стр. 79-93. MIT Press, (1991)Model-based software restructuring: Lessons from cleaning up COM interfaces in industrial legacy code., , , , и . SANER, стр. 552-556. IEEE Computer Society, (2018)Bottom-up Abstract Interpretation of Logic Programs., , и . Theor. Comput. Sci., 124 (1): 93-125 (1994)An On-the-Fly Tableau Construction for a Real-Time Temporal Logic., и . FTRTFT, том 1926 из Lecture Notes in Computer Science, стр. 276-290. Springer, (2000)Model Checking SDL with Spin., , , и . TACAS, том 1785 из Lecture Notes in Computer Science, стр. 363-377. Springer, (2000)PresenceScape: Virtual World Mediated Rich Communication., , , , , , , , и . Bell Labs Tech. J., 16 (4): 219-242 (2012)Symmetric Spin., , и . SPIN, том 1885 из Lecture Notes in Computer Science, стр. 1-19. Springer, (2000)