Showing
1 - 1
results of
1
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Dyhr, Jakob
Search Results - Dyhr, Jakob
Showing
1 - 1
results of
1
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Stubborn versus structural reductions for Petri nets
by
Bønneland, Frederik M.
,
Dyhr, Jakob
,
Jensen, Peter G.
,
Johannsen, Mads
,
Srba, Jiří
Published in
Journal of logical and algebraic methods in programming
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
1 results
1
Full Text
1 results
1
Format
Articles
1 results
1
Journal Title
Journal Of Logical And Algebraic Methods In Programming
1 results
1
Subjects
Computer Science
1 results
1
Computer Science, Theory & Methods
1 results
1
Logic
1 results
1
Partial Order Reduction
1 results
1
Petri Nets
1 results
1
Reachability Analysis
1 results
1
Science & Technology
1 results
1
Science & Technology - Other Topics
1 results
1
Structural Reductions
1 results
1
Stubborn Sets
1 results
1
Technology
1 results
1
Year of Publication
From:
To:
Source
Elsevier Sciencedirect Journals
1 results
1
Sciencedirect Journals
1 results
1