Numerische Verfahren zur quantitativen Analyse von ProC-B- und Petri-Netz-Modellen

Loading...
Thumbnail Image

Journal Title

Journal ISSN

Volume Title

Publisher

Alternative Title(s)

Abstract

Description

Table of contents

Keywords

Subjects based on RSWK

Citation

Endorsement

Review

Supplemented By

Referenced By