10 results on '"Fleischhack, H"'
Search Results
2. A-STEP: The AstroPix Sounding Rocket Technology Demonstration Payload
3. The Multi-Mission Maximum Likelihood framework (3ML)
4. Compositional high level Petri nets with timing constraints - a comparison.
5. A Petri net semantics for B(PN)/sup 2/ with procedures.
6. Towards compositional verification of SDL systems
7. A Petri net semantics for B(PN)/sup 2/ with procedures
8. Compositional high level Petri nets with timing constraints - a comparison
9. MOBY-a tool for high level Petri nets with objects.
10. Towards compositional verification of SDL 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.