Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3995075

Jump to:navigation, search

zbMATH Open0681.68003MaRDI QIDQ3995075

H. Eggert, Marek Leszak

Publication date: 23 January 1993

Title of this publication is not available (Why is that?)

zbMATH Keywords

Petri-nets software tools software metrics Prover

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99)

Uses Software

Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3995075)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3995075&oldid=13490207"