Skip to main content

Advertisement

Advertisement

Get published
Explore Journals
Books
About
My account

Search all SpringerOpen articles

Journal of the Brazilian Computer Society

About
Articles
Submission Guidelines

Article metrics
Last updated: Thu, 2 May 2024 6:22:05 Z

Formal Specification and Verification of Real-Time Systems using Graph Grammars

Support and Contact
Jobs
Language editing for authors
Scientific editing for authors
Leave feedback

Terms and conditions
Privacy statement
Accessibility
Cookies

Follow SpringerOpen

SpringerOpen Twitter page
SpringerOpen Facebook page

By using this website, you agree to our Terms and Conditions, Your US state privacy rights, Privacy statement and Cookies policy. Your privacy choices/Manage cookies we use in the preference centre.

© 2024 BioMed Central Ltd unless otherwise stated. Part of Springer Nature.