k-counting automata

Article Properties
Cite
Allred, Joël, and Ulrich Ultes-Nitsche. “K-Counting Automata”. RAIRO - Theoretical Informatics and Applications, vol. 46, no. 4, 2012, pp. 461-78, https://doi.org/10.1051/ita/2012021.
Allred, J., & Ultes-Nitsche, U. (2012). k-counting automata. RAIRO - Theoretical Informatics and Applications, 46(4), 461-478. https://doi.org/10.1051/ita/2012021
Allred J, Ultes-Nitsche U. k-counting automata. RAIRO - Theoretical Informatics and Applications. 2012;46(4):461-78.
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
10.1016/B978-0-444-88074-1.50009-3
Improved verification of linear‐time properties within fairness: weakly continuation‐closed behaviour abstractions computed from trace reductions

 Software Testing, Verification and Reliability
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2 2003
10.1515/9781400864041
10.1016/S0019-9958(66)80013-X
10.1016/S0022-0000(69)80011-5