Reactive Turing machines - Concepedia

Concepedia

Publication | Open Access

Reactive Turing machines

DOI Full Paper Access

24

Citations

22

References

2013

Year

J. C. M. Baeten, Bas Luttik, Paul van Tilburg

Information and Computation

EngineeringReactive Turing MachinesAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationReactive AiTuring MachineReactive Language

References

	Year	Citations

Page 1