The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Bisimulation for labelled Markov processes
Information and Computation - Special issue: LICS'97
Graph Theory With Applications
Graph Theory With Applications
Decompositions of infinite graphs: I: bond-faithful decompositions
Journal of Combinatorial Theory Series B
Decompositions of infinite graphs: Part II: circuit decompositions
Journal of Combinatorial Theory Series B
Hi-index | 0.00 |