10 results on '"Devillers, Raymond"'
Search Results
2. Factorisation of transition systems
3. State space axioms for T-systems
4. Synthesis and reengineering of persistent systems
5. Recursion and Petri nets
6. S-invariant analysis of general recursive Petri boxex
7. Concurrent bisimulations in Petri nets
8. Bounded choice-free Petri net synthesis: algorithmic issues
9. Factorisation of transition systems
10. Synthesis and reengineering of persistent systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.