Found: 9
Select item for more details and to access through your institution.
Does the Shannon bound really apply to all data structures?
- Published in:
- Proceedings of the Estonian Academy of Sciences, 2013, v. 62, n. 1, p. 47, doi. 10.3176/proc.2013.1.06
- By:
- Publication type:
- Article
All congruences below stability-preserving fair testing or CFFD.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 353, doi. 10.1007/s00236-019-00364-4
- By:
- Publication type:
- Article
On constructibility and unconstructibility of LTS operators from other LTS operators.
- Published in:
- Acta Informatica, 2015, v. 52, n. 2/3, p. 207, doi. 10.1007/s00236-015-0217-2
- By:
- Publication type:
- Article
Partial-order reduction for parity games and parameterised Boolean equation systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 5, p. 735, doi. 10.1007/s10009-022-00672-0
- By:
- Publication type:
- Article
Fair testing and stubborn sets.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 5, p. 589, doi. 10.1007/s10009-017-0481-2
- By:
- Publication type:
- Article
Software model checking is a rich research field.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 1, p. 1, doi. 10.1007/s10009-008-0089-7
- By:
- Publication type:
- Article
What the small Rubik's cube taught me about data structures, information theory, and randomisation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 3, p. 180, doi. 10.1007/s10009-005-0191-z
- By:
- Publication type:
- Article
A DETAILED ACCOUNT OF THE INCONSISTENT LABELLING PROBLEM OF STUTTER-PRESERVING PARTIAL-ORDER REDUCTION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 3, p. 1, doi. 10.46298/LMCS-17(3:8)2021
- By:
- Publication type:
- Article
ALL LINEAR-TIME CONGRUENCES FOR FAMILIAR OPERATORS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2013, v. 9, n. 4, p. 1, doi. 10.2168/LMCS-9(4:11)2013
- By:
- Publication type:
- Article