no help available
no help available
authorThe blue social bookmark and publication sharing system.
bookmarks
- tags
- dblp
- imported
- BPM
- collection
- myown
- arcomem
- Rentenreform
- kappa
- modelchecking
- designs
- neer
- Alternde_Bevölkerung
- named_enity_evolution
- Orthogonal
- 1998
- Geschichte-Thema-Kriminalität
- Finanzwissenschaft
- Alterssicherung
- Sozialpolitik:_Sonstiges
- road-lab-math-strategy
- interface
- Kriminalliteratur
- bitstate
- entity
- Circular
- Rentenpolitik
- kalinke
- Aufstrebende_Märkte
- process
- OECD-Staaten
- Chassis-control-systems
- Strukturfonds
- Gesetzliche_Rentenversicherung
- transplantation
- Pensionsfonds
- sysrelevantforl3s
- statistics
- data
- statecharts
- matrices
- Instrumental
- Rentenfinanzierung
- generative
- ttp
- variables
- normality
- Hit_der_Geschichtswissenschaft
- model_checking
- No matching items.
- Domenic Vital, Markus Hofer, Christian Benden, David Holzmann, and Annette Boehler. Respiration (August 2012)Domenic Vital, Markus Hofer, Christian Benden, David Holzmann, and Annette Boehler. Respiration (August 2012)a month and 26 days agoby aorchid1
- Florian Lettner, and Clemens Holzmann. MoMM, page 118-127. ACM, (2012)Florian Lettner, and Clemens Holzmann. MoMM, page 118-127. ACM, (2012)4 months and 8 days agoby dblp1
- Laure Guillou, Dipankar Bachar, Stéphane Audic, David Bass, Cédric Berney, Lucie Bittner, Christophe Boutte, Gaétan Burgaud, Colomban de Vargas, Johan Decelle, Javier del Campo, John R. Dolan, Micah Dunthorn, Bente Edvardsen, Maria Holzmann, Wiebe H. C. F. Kooistra, Enrique Lara, Noan Le Bescot, Ramiro Logares, Frédéric Mahé, Ramon Massana, Marina Montresor, Raphael Morard, Fabrice Not, Jan Pawlowski, Ian Probert, Anne-Laure Sauvadet, Raffaele Siano, Thorsten Stoeck, Daniel Vaulot, Pascal Zimmermann, and Richard Christen. Nucleic Acids Research 41(Database-Issue):597-604 (2013)Laure Guillou, Dipankar Bachar, Stéphane Audic, David Bass, Cédric Berney, Lucie Bittner, Christophe Boutte, Gaétan Burgaud, Colomban de Vargas, Johan Decelle, Javier del Campo, John R. Dolan, Micah Dunthorn, Bente Edvardsen, Maria Holzmann, Wiebe H. C. F. Kooistra, Enrique Lara, Noan Le Bescot, Ramiro Logares, Frédéric Mahé, Ramon Massana, Marina Montresor, Raphael Morard, Fabrice Not, Jan Pawlowski, Ian Probert, Anne-Laure Sauvadet, Raffaele Siano, Thorsten Stoeck, Daniel Vaulot, Pascal Zimmermann, and Richard Christen. Nucleic Acids Research 41(Database-Issue):597-604 (2013)4 months and 12 days agoby dblp1
- Florian Lettner, and Clemens Holzmann. MUM, page 49. ACM, (2012)Florian Lettner, and Clemens Holzmann. MUM, page 49. ACM, (2012)5 months and 5 days agoby dblp1
- Nina Tahmasebi, Gerhard Gossen, Nattiya Kanhabua, Helge Holzmann, and Thomas Risse. Proceedings of the 24th International Conference on Computational Linguistics Coling 2012, Mumbai, India, Coling 2012 Organizing Committee, (December 2012)Nina Tahmasebi, Gerhard Gossen, Nattiya Kanhabua, Helge Holzmann, and Thomas Risse. Proceedings of the 24th International Conference on Computational Linguistics Coling 2012, Mumbai, India, Coling 2012 Organizing Committee, (December 2012)5 months and 9 days agoby trisse693
- Nina Tahmasebi, Gerhard Gossen, Nattiya Kanhabua, Helge Holzmann, and Thomas Risse. Proceedings of the 24th International Conference on Computational Linguistics, (December 2012)Nina Tahmasebi, Gerhard Gossen, Nattiya Kanhabua, Helge Holzmann, and Thomas Risse. Proceedings of the 24th International Conference on Computational Linguistics, (December 2012)5 months and 10 days agoby nattiya3
- G.J. Holzmann. Addison-Wesley, Boston, Massachusetts, USA, (2003)G.J. Holzmann. Addison-Wesley, Boston, Massachusetts, USA, (2003)6 months and a day agoby wvdaalst1
- G.J. Holzmann. IEEE Trans. Softw. Eng. 23(5):279--295 (1997)G.J. Holzmann. IEEE Trans. Softw. Eng. 23(5):279--295 (1997)6 months and a day agoby wvdaalst4
- G.J. Holzmann. Form. Methods Syst. Des. 13(3):289--307 (1998)G.J. Holzmann. Form. Methods Syst. Des. 13(3):289--307 (1998)6 months and a day agoby wvdaalst3
- G.J. Holzmann, and D. Peled. FORTE 1994 Conference, Bern, Switzerland, (1994)G.J. Holzmann, and D. Peled. FORTE 1994 Conference, Bern, Switzerland, (1994)6 months and a day agoby wvdaalst2
- G.J. Holzmann, D. Peled, and M. Yannakakis. The Spin Verification System, Proceedings of the 2nd Spin Workshop., page 23--32. American Mathematical Society, (1996)G.J. Holzmann, D. Peled, and M. Yannakakis. The Spin Verification System, Proceedings of the 2nd Spin Workshop., page 23--32. American Mathematical Society, (1996)6 months and a day agoby wvdaalst1
- A. Puri, and G.J. Holzmann. Software Tools for Technology Transfer, 3, Springer-Verlag, Berlin, (1993)A. Puri, and G.J. Holzmann. Software Tools for Technology Transfer, 3, Springer-Verlag, Berlin, (1993)6 months and a day agoby wvdaalst1
- Helge Holzmann, Gerhard Gossen, and Nina Tahmasebi. Proceedings of the 24th International Conference on Computational Linguistics Coling 2012, Mumbai, India, Coling 2012 Organizing Committee, (December 2012)Helge Holzmann, Gerhard Gossen, and Nina Tahmasebi. Proceedings of the 24th International Conference on Computational Linguistics Coling 2012, Mumbai, India, Coling 2012 Organizing Committee, (December 2012)6 months and 10 days ago1
- Nina Tahmasebi, Gerhard Gossen, Nattiya Kanhabua, Helge Holzmann, and Thomas Risse. Proceedings of the 24th International Conference on Computational Linguistics Coling 2012, Mumbai, India, Coling 2012 Organizing Committee, (December 2012)Nina Tahmasebi, Gerhard Gossen, Nattiya Kanhabua, Helge Holzmann, and Thomas Risse. Proceedings of the 24th International Conference on Computational Linguistics Coling 2012, Mumbai, India, Coling 2012 Organizing Committee, (December 2012)6 months and 10 days ago3
- Stamatis Karnouskos, Petra Hoepner, and Uwe Holzmann-Kaiser. ONLINE 2003, 26. Europäische Congressmesse der IT- und TK Branche, Düsseldorf, Germany., (November 2004)Stamatis Karnouskos, Petra Hoepner, and Uwe Holzmann-Kaiser. ONLINE 2003, 26. Europäische Congressmesse der IT- und TK Branche, Düsseldorf, Germany., (November 2004)6 months and 22 days agoby karnouskos1
- Helge Holzmann. Informatiktage, volume S-11 of LNI, page 83-86. GI, (2012)Helge Holzmann. Informatiktage, volume S-11 of LNI, page 83-86. GI, (2012)8 months agoby dblp1
- Clemens Holzmann, and Matthias Hochgatterer. ICDCS Workshops, page 88-93. IEEE Computer Society, (2012)Clemens Holzmann, and Matthias Hochgatterer. ICDCS Workshops, page 88-93. IEEE Computer Society, (2012)8 months agoby dblp1
- G.J. Holzmann, and M.H. Smith. Invited paper to the FORTE/PSTV Conference, Beijing, China, (October 1999)G.J. Holzmann, and M.H. Smith. Invited paper to the FORTE/PSTV Conference, Beijing, China, (October 1999)9 months agoby lucio_duarte2
- G.J. Holzmann, and M.H. Smith. International Conference on Software Engineering, page 597-607. Los Angeles, USA, ACM New York, (May 1999)G.J. Holzmann, and M.H. Smith. International Conference on Software Engineering, page 597-607. Los Angeles, USA, ACM New York, (May 1999)9 months agoby lucio_duarte2
- G.J. Holzmann, and M.H. Smith. Bell Labs Technical Journal 5(2):72-87 (2000)G.J. Holzmann, and M.H. Smith. Bell Labs Technical Journal 5(2):72-87 (2000)9 months agoby lucio_duarte2