Search results for: A. Cavalli
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 1. Message Sequence Charts and SDL > 50-65
Journal of Steroid Biochemistry and Molecular Biology > 2013 > 138 > Complete > 403-409
Journal of Steroid Biochemistry and Molecular Biology > 2012 > 128 > 3-5 > 139-144
Automatic Control and Computer Sciences > 2012 > 46 > 7 > 379-386