Institutional Login
Welcome!
To use the personalized features of this site, please
log in
or
register
.
If you have forgotten your username or password, we can
help
.
My Menu
Marked Items
Alerts
Order History
Saved Items
All
Favorites
Content Types
All
Publications
Journals
Book Series
Books
Reference Works
Protocols
Subject Collections
Architecture and Design
Behavioral Science
Biomedical and Life Sciences
Business and Economics
Chemistry and Materials Science
Computer Science
Earth and Environmental Science
Engineering
Humanities, Social Sciences and Law
Mathematics and Statistics
Medicine
Physics and Astronomy
Professional and Applied Computing
中文(简体)
中文(繁體)
English
Deutsch
한국어
日本語
Français
Español
العربية
Русский
Journal
Formal Aspects of Computing
Publisher
Springer London
ISSN
0934-5043 (Print) 1433-299X (Online)
Subject Collection
Computer Science
Subject
Computer Science
,
Math Applications in Computer Science
,
Theory of Computation
and
Computational Mathematics and Numerical Analysis
SpringerLink Date
Friday, April 05, 2002
Add to marked items
Add to saved items
Register for TOC Alerting
Recommend this journal
Editorial Board
About This Journal
Manuscript Submission
Editorial View
Condensed List View
Expanded List View
22 Volumes
First Page
|
Next Page
Current -18
17-14
13-10
9-6
5-2
1
Online First™ (34)
Volume 22
Number 2 / March, 2010
83-213
Number 1 / January, 2010
1-81
Volume 21
Number 6 / December, 2009
511-641
Number 5 / October, 2009
393-510
Number 4 / August, 2009
Special Issue: Concurrency and Real-Time for Eiffel-like Languages
303-391
Number 3 / May, 2009
225-301
Numbers 1-2 / February, 2009
1-223
Volume 20
Number 6 / December, 2008
561-662
Numbers 4-5 / July, 2008
349-560
Number 3 / May, 2008
239-348
Number 2 / March, 2008
141-238
Number 1 / January, 2008
1-139
Volume 19
Number 4 / November, 2007
415-554
Number 3 / August, 2007
275-413
Number 2 / June, 2007
137-273
Number 1 / March, 2007
1-136
Volume 18
Number 4 / December, 2006
397-517
Number 3 / September, 2006
263-395
Number 2 / June, 2006
103-262
Number 1 / March, 2006
1-101
22 Volumes
First Page
|
Next Page
Current -18
17-14
13-10
9-6
5-2
1
more options
Find
Query Builder
Close
|
Clear
Title (ti)
Summary (su)
Author (au)
ISSN (issn)
ISBN (isbn)
DOI (doi)
And
Or
Not
(
)
* (wildcard)
"" (exact)
Within all content
Within this journal
Starts With
649 Results
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
space
0
1
2
3
4
5
6
7
8
9
Ü
Ö
Ë
Ä
ß
À
Á
Â
Ã
Ç
È
É
Ê
Ì
Í
Î
Ñ
Ò
Ó
Ô
Õ
Ù
Ú
Û
more
Content Status
Online First™ (34)
In Publication (615)
SpringerLink Date
In the last week (1)
In the last two weeks (1)
In the last month (3)
In the last six months (38)
In the last year (54)
Copyright
2010 - 2019 (43)
2000 - 2009 (273)
1990 - 1999 (313)
1980 - 1989 (20)
Author
Jim Woodcock
Wim H. Hesselink
Michael Butler
Manfred Broy
John Derrick
Ana Cavalcanti
J. A. Bergstra
Cliff Jones
John Cooke
Zhiming Liu
Article Category
Original Paper (127)
Original Article (118)
Editorial (17)
Short Communication (10)
ORIGINAL ARTICLE (6)
Obituary (3)
Erratum (2)
Preface (1)
In Memoriam (1)
Original article (1)
EDITORIAL (1)
OBITUARY (1)
Case Study (1)
Frequently asked questions
|
General information on journals and books
|
Send us your feedback
|
Impressum
|
Contact
© Springer.
Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
MetaPress Privacy Policy
Remote Address: 38.107.191.106 • Server: mpweb19
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)
