SAT−solving in CSP trace refinement

SAT−solving in CSP trace refinement

Zobrazit další vydání (3)
Podrobná bibliografie
Hlavní autoři: Palikareva, H, Ouaknine, J, Roscoe, A
Médium: Journal article
Vydáno: 2011
Search Result 1
SAT solving in CSP trace refinement

SAT solving in CSP trace refinement Autor Palikareva, H, Ouaknine, J, Roscoe, A

Vydáno 2012
Journal article
Search Result 2
SAT-solving in CSP trace refinement

SAT-solving in CSP trace refinement Autor Palikareva, H, Ouaknine, J, Roscoe, A

Vydáno 2012
Journal article
Search Result 3
SAT−Solving in CSP Trace Refinement

SAT−Solving in CSP Trace Refinement Autor Palikareva, H, Ouaknine, J, Roscoe, A

Vydáno 2012
Journal article
Zobrazit všechna vydaní (4)

Podobné jednotky