( en | de | ru )

 

Disambiguation of "Amla, Nina"

Author of the publication

copydeleteadd this publication to your clipboard
Model Checking Synchronous Timing Diagrams.

, , , and . FMCAD, volume 1954 of Lecture Notes in Computer Science, page 283-298. Springer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Anup Sam Ninan

Fernando Nina

Michael Amlang

Julia Amlang

Erwin Amlacher

 

Other publications of authors with the same name

Combining Abstraction Refinement and SAT-Based Model Checking., and . TACAS, volume 4424 of Lecture Notes in Computer Science, page 405-419. Springer, (2007)Beyond Production Indicators: A Novel Smart Farming Application and System for Animal Welfare., , , , and . ACI, page 7:1-7:11. ACM, (2017)A Hybrid of Counterexample-Based and Proof-Based Abstraction., and . FMCAD, volume 3312 of Lecture Notes in Computer Science, page 260-274. Springer, (2004)Experimental Analysis of Different Techniques for Bounded Model Checking., , , and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 34-48. Springer, (2003)Smart Computing and Sensing Technologies for Animal Welfare: A Systematic Review., , and . CoRR, (2016)Automatic Abstraction without Counterexamples., and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 2-17. Springer, (2003)NSF on Chien's Grand Challenge for Sustainability., , , and . Commun. ACM, 66 (5): 36-37 (May 2023)Smart Computing and Sensing Technologies for Animal Welfare: A Systematic Review., , and . ACM Comput. Surv., 50 (1): 10:1-10:27 (2017)An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment., , , , and . CHARME, volume 3725 of Lecture Notes in Computer Science, page 254-268. Springer, (2005)Efficient Decompositional Model Checking for Regular Timing Diagrams., , and . CHARME, volume 1703 of Lecture Notes in Computer Science, page 67-81. Springer, (1999)