Search results for: Peter J. McCann
Bell Labs Technical Journal > 2005 > 10 > 4 > 151 - 166
Bell Labs Technical Journal > 1998 > 3 > 3 > 79 - 97
Formal Methods in System Design > 2002 > 20 > 1 > 47-68
Bell Labs Technical Journal > 2005 > 10 > 4 > 151 - 166
Bell Labs Technical Journal > 1998 > 3 > 3 > 79 - 97
Formal Methods in System Design > 2002 > 20 > 1 > 47-68