Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Robert Gerth | lit.salon

Author

Robert Gerth

RG

Author record

1 works

No biography is available yet.

Start with

Theoretical and Practical Aspects of SPIN Model Checking 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings2003
With Dennis Dams, Stefan Leue, Mieke Massinek

Books

1 work

Featured (0)Featured (0)All (1)All (1)

Search booksSort books

No featured works yet, so all works are shown.

Theoretical and Practical Aspects of SPIN Model Checking 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings2003
With Dennis Dams, Stefan Leue, Mieke Massinek
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 Robert Gerth.

The conversation is still open.

There is no public salon activity to show for Robert Gerth yet.