Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Mieke Massinek | lit.salon

Author

Mieke Massinek

MM

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, Robert Gerth, Stefan Leue

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, Robert Gerth, Stefan Leue
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 Mieke Massinek.

The conversation is still open.

There is no public salon activity to show for Mieke Massinek yet.