( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Efficient Decompositional Model Checking for Regular Timing Diagrams.

, , и . CHARME, том 1703 из Lecture Notes in Computer Science, стр. 67-81. Springer, (1999)

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.

Anup Sam Ninan

Fernando Nina

Michael Amlang

Erwin Amlacher

Julia Amlang

 

Другие публикации лиц с тем же именем

Automatic Abstraction without Counterexamples., и . TACAS, том 2619 из Lecture Notes in Computer Science, стр. 2-17. Springer, (2003)A Hybrid of Counterexample-Based and Proof-Based Abstraction., и . FMCAD, том 3312 из Lecture Notes in Computer Science, стр. 260-274. Springer, (2004)Experimental Analysis of Different Techniques for Bounded Model Checking., , , и . TACAS, том 2619 из Lecture Notes in Computer Science, стр. 34-48. Springer, (2003)Beyond Production Indicators: A Novel Smart Farming Application and System for Animal Welfare., , , , и . ACI, стр. 7:1-7:11. ACM, (2017)Combining Abstraction Refinement and SAT-Based Model Checking., и . TACAS, том 4424 из Lecture Notes in Computer Science, стр. 405-419. Springer, (2007)An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment., , , , и . CHARME, том 3725 из Lecture Notes in Computer Science, стр. 254-268. Springer, (2005)Efficient Decompositional Model Checking for Regular Timing Diagrams., , и . CHARME, том 1703 из Lecture Notes in Computer Science, стр. 67-81. Springer, (1999)Visual Specifications for Modular Reasoning about Asynchronous Systems., , , и . FORTE, том 2529 из Lecture Notes in Computer Science, стр. 226-242. Springer, (2002)Model Checking Synchronous Timing Diagrams., , , и . FMCAD, том 1954 из Lecture Notes in Computer Science, стр. 283-298. Springer, (2000)Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams., , , и . TACAS, том 2031 из Lecture Notes in Computer Science, стр. 465-479. Springer, (2001)