Atıf Formatları
Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems
  • IEEE
  • ACM
  • APA
  • Chicago
  • MLA
  • Harvard
  • BibTeX

K. V. SCHMİDT, "Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems," IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS , vol.43, pp.1130-1140, 2013

SCHMİDT, K. V. 2013. Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS , vol.43 , 1130-1140.

SCHMİDT, K. V. , (2013). Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS , vol.43, 1130-1140.

SCHMİDT, KLAUS. "Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems," IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS , vol.43, 1130-1140, 2013

SCHMİDT, KLAUS V. . "Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems." IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS , vol.43, pp.1130-1140, 2013

SCHMİDT, K. V. (2013) . "Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems." IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS , vol.43, pp.1130-1140.

@article{article, author={KLAUS VERNER SCHMİDT}, title={Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems}, journal={IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS}, year=2013, pages={1130-1140} }