Pesquisas alternativas:
espn » esp (Expandir a Pesquisa), espa (Expandir a Pesquisa), esen (Expandir a Pesquisa), espan (Expandir a Pesquisa)
spn » span (Expandir a Pesquisa)
spin » span (Expandir a Pesquisa)
espe » este (Expandir a Pesquisa), esse (Expandir a Pesquisa), esp (Expandir a Pesquisa)
ese » este (Expandir a Pesquisa), esse (Expandir a Pesquisa)
A mostrar 61 - 80 resultados de 196,364 para a pesquisa '(((espn OR espana) OR ((spn OR spin) OR spa)) OR (espe OR ese))', tempo de pesquisa: 0.72seg Refinar resultados
61
Model checking software 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /
“...-Refinement for the mu-Calculus -- Minimal Counterexample Generation for SPIN -- Generating Counter-Examples...”
Obter o texto integral
Livro
Adic. favoritos
Na minha lista:
62
Model checking software 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings /
“...This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop...”
Obter o texto integral
Livro
Adic. favoritos
Na minha lista:
Ferramentas de pesquisa: Obter Feed RSS — Enviar pesquisa por email — Guardar a pesquisa