( en | de | ru )

 

Disambiguation of "Amla, Nina"

Author of the publication

copydeleteadd this publication to your clipboard
Beyond Production Indicators: A Novel Smart Farming Application and System for Animal Welfare.

, , , , and . ACI, page 7:1-7:11. ACM, (2017)

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

Automatic Abstraction without Counterexamples., and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 2-17. Springer, (2003)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)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)Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams., , , and . CAV, volume 2102 of Lecture Notes in Computer Science, page 387-390. Springer, (2001)Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams., , , and . TACAS, volume 2031 of Lecture Notes in Computer Science, page 465-479. Springer, (2001)Visual Specifications for Modular Reasoning about Asynchronous Systems., , , and . FORTE, volume 2529 of Lecture Notes in Computer Science, page 226-242. Springer, (2002)Model Checking Synchronous Timing Diagrams., , , and . FMCAD, volume 1954 of Lecture Notes in Computer Science, page 283-298. Springer, (2000)Abstract Patterns of Compositional Reasoning., , , and . CONCUR, volume 2761 of Lecture Notes in Computer Science, page 423-438. Springer, (2003)