KING, ANDY
900  Ergebnisse:
Personensuche X
?
8

Asynchronous Subtyping by Trace Relaxation:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Bocchi, Laura ; King, Andy ; Murgia, Maurizio - p. 207-226 , 2024
 
?
10

Safe Asynchronous Mixed-Choice for Timed Interactions:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Pears, Jonah ; Bocchi, Laura ; King, Andy - p. 214-231 , 2023
 
?
12

American Meat Science Association Guidelines for Meat Color..:

King, D. Andy ; Hunt, Melvin C. ; Barbut, Shai...
Meat and Muscle Biology; AMSA Guidelines for Meat Color Measurement.  6 (2023)  4 - p. , 2023
 
?
13

Polynomial Analysis of Modular Arithmetic:

, In: Static Analysis; Lecture Notes in Computer Science,
Seed, Thomas ; Coppins, Chris ; King, Andy. - p. 508-539 , 2023
 
1-15
Mehr Literatur finden