52

An algorithm to test the conflict preorder

Year:
2014
Language:
english
File:
PDF, 600 KB
english, 2014
55

Smart Polymers for Neural Interfaces

Year:
2013
Language:
english
File:
PDF, 877 KB
english, 2013
59

Degradable, silyl ether thiol–ene networks

Year:
2014
Language:
english
File:
PDF, 1.03 MB
english, 2014
66

Progressive events in supervisory control and compositional verification

Year:
2014
Language:
english
File:
PDF, 1.15 MB
english, 2014
86

Compositional Nonblocking Verification Using Annotated Automata

Year:
2010
Language:
english
File:
PDF, 174 KB
english, 2010