


default search action
Information and Computation, Volume 232
Volume 232, November 2013
- Verónica Becher
, Pablo Ariel Heiber, Theodore A. Slaman:
A polynomial-time algorithm for computing absolutely normal numbers. 1-9 - Wing-Kai Hon
, Manish Patil, Rahul Shah, Sharma V. Thankachan:
Compressed property suffix trees. 10-18 - Jérémy Barbay
, Francisco Claude, Gonzalo Navarro:
Compact binary relation representations with rich functionality. 19-37 - Marta Z. Kwiatkowska, Gethin Norman
, David Parker
, Hongyang Qu:
Compositional probabilistic verification through multi-objective model checking. 38-65 - Benoît Delahaye, Joost-Pieter Katoen
, Kim G. Larsen
, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
:
Abstract Probabilistic Automata. 66-116

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.