Lee más sobre Space-efficient representation of truncated suffix trees, with applications to Markov order estimation
Lee más sobre Institution-based foundations for verification in the context of model-driven engineering
