Gast ::
The Erlang verification tool
; ;
In
Tools and algorithms for the construction and analysis of systems : 7th international conference ; proceedings / TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001. Tiziana Margaria; Wang Yi (eds.), Seiten/Artikel-Nr: 582-585
2001
Online
DOI: 10.1007/3-540-45319-9_41
Einrichtungen
Dokumenttyp
Contribution to a book/Contribution to a conference proceedings
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
INSPEC: 7120629
SCOPUS: SCOPUS:2-s2.0-23044527021
Interne Identnummern
RWTH-CONV-183422
Datensatz-ID: 111451
|
The record appears in these collections: |