Search results for: José Bacelar Almeida
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Contributed Papers > 37-52
Lecture Notes in Computer Science > Computer Security – ESORICS 2010 > Cryptographic Protocols > 151-167
Undergraduate Topics in Computer Science
Science of Computer Programming > 2014 > 91 > Part B > 216-233
Innovations in Systems and Software Engineering > 2010 > 6 > 3 > 203-218
Electronic Notes in Theoretical Computer Science > 2008 > 219 > Complete > 83-96
Electronic Notes in Theoretical Computer Science > 2008 > 204 > Complete > 181-198
Electronic Notes in Theoretical Computer Science > 2007 > 176 > 1 > 139-163