Publication | Closed Access
Undecidability of CA classification schemes
128
Citations
0
References
1988
Year
Classification MethodEngineeringAutomated ReasoningVerificationFormal MethodsComputer-aided VerificationCa Classification SchemesComputer ScienceFormal VerificationComputability Theory
No additional data available for this publication yet. Check back later!