Search results for: Alan Jeffrey
Rheologica Acta > 2019 > 58 > 5 > 291-305
Macromolecular Theory and Simulations > 28 > 1 > n/a - n/a
Korea-Australia Rheology Journal > 2018 > 30 > 3 > 169-178
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 493-506
Lecture Notes in Computer Science > ECOOP 2003 – Object-Oriented Programming > Aspects and Components > 54-73
IFIP — The International Federation for Information Processing > Formal Aspects in Security and Trust > 55-70
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Language Analysis > 266-281
Lecture Notes in Computer Science > CONCUR '91 > 332-345
Lecture Notes in Computer Science > FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 461-472