Bruno Langenstein
According to our database1,
Bruno Langenstein
authored at least 12 papers
between 1996 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
1996
1998
2000
2002
2004
2006
2008
2010
2012
2014
0
1
2
3
4
1
1
2
1
1
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
2014
Proceedings of the Computer Safety, Reliability, and Security, 2014
2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
2009
Proceedings of the Perspectives of Systems Informatics, 2009
2007
Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007
2005
Proceedings of the Mechanizing Mathematical Reasoning, 2005
2000
Int. J. Softw. Tools Technol. Transf., 2000
J. Exp. Theor. Artif. Intell., 2000
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000
1996
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996