Theory and application of Petri net reduction for Ada-tasking static analysis.

2014-03-18T00:00:00Z (GMT) by Shengru. Tu
Theory and application of Petri net reduction for Ada-tasking static analysis.

Categories

Keyword(s)

License

In Copyright