Skip to main content
Menu
Filter Results
Search all journals
Enter search terms…
Advanced search
Search
Access/Profile
CHN
/
ENG
Browse
Information for
Search results
Search results page
Save Search
Articles (2)
Journals (0)
Save Search
1-2 of 2
results for
parametric description of a transition sequence
Filters
Filters
Edit Search
Sort by:
Relevance
Select all
Export selected citations
Select all
Export selected citations
Edit Search
Sort by:
Relevance
Select article: Analyzing Paths in Time Petri Nets
Restricted access
Research article
First published February, 1999
Analyzing Paths in Time Petri Nets
Louchka Popova-Zeugmann,
Dirk Schlatter
Fundamenta Informaticae
Preview Abstract
Get Access
Select article: A Hierarchy of System Descriptions via Atomic Linear Refinement
Restricted access
Research article
First published 1992
A Hierarchy of System Descriptions via Atomic Linear Refinement
Roberto Gorrieri
Fundamenta Informaticae
Preview Abstract
Get Access
1
10 / page