Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Pavithra Prabhakar | lit.salon

Author

Pavithra Prabhakar

2 works

2017–2018 across 2 dated works

No biography is available yet.

Start with

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, on, Canada, July 17-18, 2016, Revised Selected Papers2017
With Sergiy Bogomolov, Matthieu Martel
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings2018
With David N. Jansen

Books

2 works

Featured (2)Featured (2)All (2)All (2)

Search booksSort books

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings2018
With David N. Jansen
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, on, Canada, July 17-18, 2016, Revised Selected Papers2017
With Sergiy Bogomolov, Matthieu Martel
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Pavithra Prabhakar.

The conversation is still open.

There is no public salon activity to show for Pavithra Prabhakar yet.