Items where Author is "Arts, Thomas"

Group by: Item Type | No Grouping

Jump to: Article | Conference or Workshop Item

Number of items: 4.

Article

Fredlund, Lars-Åke and Gurov, Dilian and Noll, Thomas and Dam, Mads and Arts, Thomas and Chugunov, Gennady (2003) A tool for verifying software written in Erlang. International Journal on Software Tools for Technology Transfer (STTT), 4 (4). pp. 405-420. ISSN 1433-2779 (Print) 1433-2787 (Online)

Conference or Workshop Item

Arts, Thomas and Fredlund, Lars-Åke (2002) Trace analysis of Erlang programs. In: Erlang Workshop, ACM SIGPLAN, 7 Oct 2002, Pittsburgh, Pennsylvania, USA.

Arts, Thomas and Dam, Mads (1999) Verifying a distributed database lookup manager written in Erlang. In: FM'99 - Formal Methods: Proceedings of World Congress on Formal Methods in the Development of Computing Systems, 20- 24 Sept 1999, Toulouse, France.

Arts, Thomas and Dam, Mads and Fredlund, Lars-Åke and Gurov, Dilian (1998) System description: verification of distributed Erlang programs. In: Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction, 1998.

This list was generated on Fri Sep 25 20:28:25 2020 CEST.