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
Special issue: 1st international workshop on runtime verification (RV'01). Selected papers based on the presentation at the workshop, Paris, France, July 23, 2001. - MaRDI portal

Special issue: 1st international workshop on runtime verification (RV'01). Selected papers based on the presentation at the workshop, Paris, France, July 23, 2001. (Q2486990)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Special issue: 1st international workshop on runtime verification (RV'01). Selected papers based on the presentation at the workshop, Paris, France, July 23, 2001.
scientific article

    Statements

    Special issue: 1st international workshop on runtime verification (RV'01). Selected papers based on the presentation at the workshop, Paris, France, July 23, 2001. (English)
    0 references
    17 August 2005
    0 references
    The articles of this volume will be reviewed individually.
    0 references

    Identifiers