Towards short-circuit proof design of power transformers

By Bakshi Amit   Kulkarni S.V.  

COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 31, Iss. 2, 2012-03 ,pp. : 692-702

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

A Generalization of Short-Cut Fusion and its Correctness Proof

By Johann P.  

LISP and Symbolic Computation, Vol. 15, Iss. 4, 2002-12 ,pp. : 273-300

Springer Publishing Company

Access to resources Recommend Favorite

To Fork or Not to Fork: Fork Motivations in SourceForge Projects

By  

International Journal of Open Source Software and Processes (IJOSSP), Vol. 3, Iss. 3, 2011-07 ,pp. : 1-9

IGI Global_journal

Access to resources Recommend Favorite

Minimality and separation results on asynchronous mobile processes - representability theorems by concurrent combinators

By Yoshida N.  

Theoretical Computer Science, Vol. 274, Iss. 1, 2002-03 ,pp. : 231-276

Elsevier

Access to resources Recommend Favorite

Introduction: On proof

By Martino A.A.  

Artificial Intelligence and Law, Vol. 9, Iss. 2-3, 2001-09 ,pp. : 95-98

Springer Publishing Company

Access to resources Recommend Favorite