Discovering Arabic structures from texts: what a formal analysis can tell us

By Aliane Hassina   Alimazighi Zaia  

International Journal of Computer Applications in Technology, Vol. 40, Iss. 4, 2011-07 ,pp. : 238-245

Inderscience Publishers

Access to resources Recommend Favorite

A framework for formal modeling and analysis of organizations

By Jonker Catholijn   Sharpanskykh Alexei   Treur Jan   Yolum PInar  

Applied Intelligence, Vol. 27, Iss. 1, 2007-08 ,pp. : 49-66

Springer Publishing Company

Access to resources Recommend Favorite

Formal Analysis of Multiparty Contract Signing

By Chadha Rohit   Kremer Steve   Scedrov Andre  

Journal of Automated Reasoning, Vol. 36, Iss. 1-2, 2006-01 ,pp. : 39-83

Springer Publishing Company

Access to resources Recommend Favorite

A formal analysis of bluetooth device discovery

By Duflot Marie   Kwiatkowska Marta   Norman Gethin   Parker David  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 6, 2006-11 ,pp. : 621-632

Springer Publishing Company

Access to resources Recommend Favorite

Automated formal analysis and verification: an overview

By Křena Bohuslav   Vojnar Tomáš  

International Journal of General Systems, Vol. 42, Iss. 4, 2013-05 ,pp. : 335-365

Taylor & Francis Ltd

Access to resources Recommend Favorite