( en | de | ru )

 

Disambiguation of "Corbett, James C."

Author of the publication

copydeleteadd this publication to your clipboard
Integer Programming in the Analysis of Concurrent Systems.

, , and . CAV, volume 575 of Lecture Notes in Computer Science, page 92-102. Springer, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

James C Cornette

James C Russell

Christopher Corbett

Michael James

Audrein James

 

Other publications of authors with the same name

Constructing Abstract Models of Concurrent Real-Time Software.. ISSTA, page 250-260. ACM, (1996)Practical Algorithms for Online Routing on Fixed and Reconfigurable Meshes., , , and . J. Parallel Distributed Comput., 20 (3): 341-356 (1994)Integer Programming in the Analysis of Concurrent Systems., , and . CAV, volume 575 of Lecture Notes in Computer Science, page 92-102. Springer, (1991)A Note on Some Languages in Uniform ACC0., and . Theor. Comput. Sci., 78 (2): 357-362 (1991)Property specification patterns for finite-state verification., , and . FMSP, page 7-15. ACM, (1998)Bandera: extracting finite-state models from Java source code., , , , , , and . ICSE, page 439-448. ACM, (2000)Bandera: a source-level interface for model checking Java programs., , , and . ICSE, page 762-765. ACM, (2000)Modeling and Analysis of Real-Time Ada Tasking Programs.. RTSS, page 132-141. IEEE Computer Society, (1994)Message-Passing Algorithms for a SIMD Torus with Coteries., , and . SPAA, page 11-20. ACM, (1990)A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives., , , , and . SAS, volume 1694 of Lecture Notes in Computer Science, page 1-18. Springer, (1999)