Home
DCC eCatalog
Andrei__Kovalyov
A polynomial algorithm to compute the concurrency relation of free-choice Signal Transition Graphs
