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; zbMATH DE number 5043336 - MaRDI portal

scientific article; zbMATH DE number 5043336

From MaRDI portal

Publication:5480649

Jump to:navigation, search

zbMath1095.68068MaRDI QIDQ5480649

Krzysztof Pancerz, Zofia Matusiewicz, Barbara Fryc, Zbigniew Suraj

Publication date: 3 August 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modelling approximate reasoning concurrency decision systems approximate Petri nets Petri net tools

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

ROSECON

This page was built for publication:

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