Advanced search
1 file | 37.82 KB Add to list
Author
Organization

Downloads

  • Epit32Abstract.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 37.82 KB

Citation

Please use this url to cite or link to this publication:

MLA
Van Langenhove, Sara, Albert Hoogewijs, and Benjamin De Leeuw. “UML Based Verification of Software.” 32nd Spring School in Theoretical Computer Scienc, Concurrency Theory and Applications. 2004. Print.
APA
Van Langenhove, S., Hoogewijs, A., & De Leeuw, B. (2004). UML based Verification of Software. 32nd Spring School in Theoretical Computer Scienc, Concurrency theory and applications.
Chicago author-date
Van Langenhove, Sara, Albert Hoogewijs, and Benjamin De Leeuw. 2004. “UML Based Verification of Software.” In 32nd Spring School in Theoretical Computer Scienc, Concurrency Theory and Applications.
Chicago author-date (all authors)
Van Langenhove, Sara, Albert Hoogewijs, and Benjamin De Leeuw. 2004. “UML Based Verification of Software.” In 32nd Spring School in Theoretical Computer Scienc, Concurrency Theory and Applications.
Vancouver
1.
Van Langenhove S, Hoogewijs A, De Leeuw B. UML based Verification of Software. 32nd Spring School in Theoretical Computer Scienc, Concurrency theory and applications. 2004.
IEEE
[1]
S. Van Langenhove, A. Hoogewijs, and B. De Leeuw, “UML based Verification of Software,” in 32nd Spring School in Theoretical Computer Scienc, Concurrency theory and applications, 2004.
@inproceedings{302140,
  author       = {{Van Langenhove, Sara and Hoogewijs, Albert and De Leeuw, Benjamin}},
  booktitle    = {{32nd Spring School in Theoretical Computer Scienc, Concurrency theory and applications}},
  language     = {{und}},
  title        = {{UML based Verification of Software}},
  year         = {{2004}},
}