Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Jean-Francois Raskin | lit.salon

Author

Jean-Francois Raskin

2 works

2007–2014 across 2 dated works

No biography is available yet.

Start with

Formal modeling and analysis of timed systems: 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings2007
With P. S. Thiagarajan
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings2014
With Franck Cassez

Books

2 works

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

Search booksSort books

Formal modeling and analysis of timed systems: 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings2007
With P. S. Thiagarajan
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings2014
With Franck Cassez
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 Jean-Francois Raskin.

The conversation is still open.

There is no public salon activity to show for Jean-Francois Raskin yet.