 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Author="Lehmann, Andreas" |
|
Stubborn sets for simple linear time properties
Andreas Lehmann, Niels Lohmann, Karsten Wolf
Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)
Lecture Notes in Computer Science
7347
, 2012, pp. 228-247
| Editors | Serge Haddad, Lucia Pomello | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg | |
| URL: |
http://dx.doi.org/10.1007/978-3-642-31131-4_13 | |
|
|
|
|