Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking

TitleKompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Publication TypeArtwork
Year of Publication2002
AuthorsPinger, R.
Date PublishedFebruary
PublisherTechnical University Braunschweig, Germany
Abstract

no

Publicno