Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Thao Dang | lit.salon

Author

Thao Dang

TD

Author record

4 works

2006–2022 across 3 dated works

No biography is available yet.

Start with

Verification and Synthesis of Hybrid Systems (Control Engineering)2006
With Eugine Asarin, Oded Maler
Explore Authentic Vietnamese Cuisine: Common Home Cook Dishes in Vietnamese Family2020
Runtime Verification 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings2022
With Volker Stolz

Books

4 works

Featured (3)Featured (3)All (4)All (4)

Search booksSort books

Verification and Synthesis of Hybrid Systems (Control Engineering)2006
With Eugine Asarin, Oded Maler
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Runtime Verification 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings2022
With Volker Stolz
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Explore Authentic Vietnamese Cuisine: Common Home Cook Dishes in Vietnamese Family2020
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers2015
With Oded Maler, Ádám Halász, Carla Piazza
2 editions
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Thao Dang.

The conversation is still open.

There is no public salon activity to show for Thao Dang yet.