Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Berlin; Heidelberg [u.a.]: Springer, 2007
Dong, Jin Song
[HerausgeberIn];
Zhu, Huibiao
[Sonstige Person, Familie und Körperschaft]
;
International Conference on Formal Engineering Methods 12 2010 Schanghai