Author: Visser, Willem
Author: Wagner, Stephan
Similar Items: Centrality in random trees
- Combinatorics of oriented trees and tree-like structures
- Whole-tree and tension wood-associated expression profiles of micrornas in Eucalyptus trees
- Some of the mechanisms for coexistence of tree species diversity in tropical forests: a review of effects of tree density dependence
- On the inducibility of rooted trees
- Random walk hitting times in random trees
- Spatial structure of neighbourhoods of small and large trees in Gambari Natural Forest Reserve, Nigeria
Similar Items: Investigating the non-termination of affine loops
- A kernel to support computer-aided verification of embedded software
- Automated program generation : bridging the gap between model and implementation
- A model checker for the LF system
- An algebraic framework for reasoning about security
- Reducing communication in distributed model checking
- Distributed binary decision diagrams