Baxter, James
2301  results:
?
6

Testing using CSP Models: Time, Inputs, and Outputs:

Baxter, James ; Cavalcanti, Ana ; Gazda, Maciej.
ACM Transactions on Computational Logic.  24 (2023)  2 - p. 1-40 , 2023
 
?
7

Model-Based Engineering for Robotics with RoboChart and Rob..:

, In: Formal Methods for an Informal World; Lecture Notes in Computer Science,
Cavalcanti, Ana ; Attala, Ziggy ; Baxter, James.. - p. 106-151 , 2023
 
?
11

RoboWorld: Where Can My Robot Work?:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
 
?
12

Samuel Beckett's Legacies in American Fiction: Problems in .. 

New Interpretations of Beckett in the Twenty-First Century
Baxter, James - 1st ed. 2021 . , 2021
 
?
13

Evergreen Review, 1957–1984: Beckett and the American 'Unde..:

, In: Samuel Beckett's Legacies in American Fiction,
Baxter, James - p. 27-101 , 2021
 
?
14

Paul Auster, Lydia Davis and Beckett's Post-Millennial Lega..:

, In: Samuel Beckett's Legacies in American Fiction,
Baxter, James - p. 209-241 , 2021
 
?
15

Problems and Pratfalls: Robert Coover, Donald Barthelme and..:

, In: Samuel Beckett's Legacies in American Fiction,
Baxter, James - p. 103-131 , 2021
 
1-15