A. Tritter is an author at General Motors (Poland) specializing in theory of computing, formal verification, and machine systems.
Top concepts
AutomationEngineeringFormal MethodsControl SystemsMachine SystemsSystem SoftwareComputer ScienceFormal VerificationSystems EngineeringTheory Of Computing
Publications per year
1958–1958
2
2
The problem of programming communication with changing machines
Julia Strong, J. H. Wegstein, A. Tritter et al. · Communications of the ACM · 1958 · 68 citations
The problem of programming communication with changing machines
Julia Strong, J. H. Wegstein, A. Tritter et al. · Communications of the ACM · 1958 · 64 citations · Full text
Rows per page
1–2 of 2