Authors
Bertrand Jeannet, P d’Argenio, K Larsen
Publication date
2002
Journal
Tools day
Volume
2
Pages
149
Total citations
2003200420052006200720082009201020112012201320142015201620172018201920203691310455631413101
Scholar articles
B Jeannet, P d'Argenio, K Larsen - Tools day, 2002
PR D'argenio, KG Larsen - Conference on Concurrency Theory, 2002